Valérie Ménissier-Morain

Arbitrary precision real arithmetic: design and algorithms

Valérie Ménissier-Morain, V. Ménissier-Morain, 2005, J. Log. Algebraic Methods Program..

An exact arithmetic package for ML

Pierre Weis, Valérie Ménissier-Morain, 1995 .

Certification of a Type Inference Tool for ML: Damas–Milner within Coq

Catherine Dubois, Valérie Ménissier-Morain, Catherine Dubois, 1999, Journal of Automated Reasoning.

On the way to certify Computer Algebra Systems

Thérèse Hardin, Daniel Hirschkoff, Sylvain Boulmé, 1999, Calculemus.

Compensated Horner scheme in complex floating point arithmetic

Stef Graillat, Valérie Ménissier-Morain, S. Graillat, 2008 .

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

Stef Graillat, Valérie Ménissier-Morain, S. Graillat, 2012, Inf. Comput..

Error-free transformations in real and complex floating point arithmetic

Stef Graillat, Valérie Ménissier-Morain, S. Graillat, 2007 .