Valérie Ménissier-Morain

According to our database, Valérie Ménissier-Morain authored at least 4 papers between 1999 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2012

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

Stef Graillat, Valérie Ménissier-Morain

Inf. Comput., 2012

2005

Arbitrary precision real arithmetic: design and algorithms.

Valérie Ménissier-Morain

J. Log. Algebraic Methods Program., 2005

1999

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

Catherine Dubois, Valérie Ménissier-Morain

J. Autom. Reason., 1999

On the way to certify Computer Algebra Systems.

Sylvain Boulmé, Thérèse Hardin, Daniel Hirschkoff, Valérie Ménissier-Morain, Renaud Rioboo

Proceedings of the Systems for Integrated Computation and Deduction, 1999