Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

14 résultats
Page :
triés par
Image document

Arbitrary precision real arithmetic: design and algorithms

 Valérie Ménissier-Morain
[Research Report] lip6.2003.003, LIP6. 2003
Rapport hal-02545650v1

Apprentissage de la programmation avec OCaml

 Catherine Dubois , Valerie Menissier-Morain
Apprentissage de la programmation avec OCaml, 2004
Chapitre d'ouvrage hal-01124971v1

Accurate summation, dot product and polynomial evaluation in complex floating point arithmetic

 Stef Graillat , Valérie Ménissier-Morain
Information and Computation, 2012, 216, pp.57-71. ⟨10.1016/j.ic.2011.09.003⟩
Article dans une revue hal-01146509v1

Actes des Journées Francophones des Langages Applicatifs

 Valérie Ménissier-Morain
2004
Proceedings/Recueil des communications hal-01503533v1

Arbitrary precision real arithmetic: design and proved algorithms

 Valérie Ménissier-Morain
Journal of Logic and Algebraic Programming, 2005, 64 (1), pp.13-39. ⟨10.1016/j.jlap.2004.07.003⟩
Article dans une revue hal-01148736v1

There's no Reliable Computing without Reliable Access to Rounding Modes

 Christoph Lauter , Valérie Ménissier-Morain
SCAN'2012, Sep 2012, Novosibirsk, Russia. pp.99-100
Communication dans un congrès hal-01272417v1
Image document

Tools for a gentle slope transition From floating point arithmetic to exact real arithmetic

 Valérie Ménissier-Morain
Eleventh International Conference on Computability and Complexity in Analysis (CCA 2014), Jul 2014, Darmstadt, Germany
Communication dans un congrès hal-01526031v1

Compensated Horner scheme in complex floating point arithmetic

 Stef Graillat , Valérie Ménissier-Morain
Proceedings, 8th Conference on Real Numbers and Computers, Jul 2008, Santiago de Compostela, Spain. pp.133-146
Communication dans un congrès hal-01300860v1

Error-Free Transformations in Real and Complex Floating Point Arithmetic

 Stef Graillat , Valérie Ménissier-Morain
International Symposium on Nonlinear Theory and its Applications (NOLTA'07), Sep 2007, Vancouver, Canada. pp.341-344
Communication dans un congrès hal-01306229v1

Environnement de développement -- annales corrigées, novembre 2004-janvier 2006

 Valérie Ménissier-Morain , Christian Queinnec , Guénaël Renault
Paracamplus, Paris, France, 2006, 978-2-916466-02-9
Ouvrages hal-01352018v1

On the way to certify computer algebra systems

 Sylvain Boulmé , Thérèse Hardin , David Hirschkoff , Valérie Ménissier-Morain , Renaud Rioboo
Calculemus workshop of FLOC'99, Jun 1999, Trento, Italy. pp.370-385, ⟨10.1016/S1571-0661(05)80609-7⟩
Communication dans un congrès hal-01574382v1

Environnement de développement -- annales corrigées, avril 2005-janvier 2007

 Valérie Ménissier-Morain , Christian Queinnec , Guénaël Renault
Paracamplus, Paris, France, 2007, 978-2-916466-04-0
Ouvrages hal-01335979v1

Numéro spécial JFLA

 Valérie Ménissier-Morain
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 24, 2005
N°spécial de revue/special issue hal-01491671v1

Apprentissage de la programmation avec OCaml

 Catherine Dubois , Valérie Ménissier-Morain
Hermès Sciences, 2004
Ouvrages hal-01520389v1
Page :