Valérie Ménissier-Morain

Publication Activity (10 Years)

Years Active: 1999-2012
Publications (10 Years): 0

Top Topics

Floating Point Arithmetic

Top Venues

Publications

Stef Graillat, Valérie Ménissier-Morain
Accurate summation, dot product and polynomial evaluation in complex floating point arithmetic. Inf. Comput. 216 (2012)
Valérie Ménissier-Morain
Arbitrary precision real arithmetic: design and algorithms. J. Log. Algebraic Methods Program. 64 (1) (2005)
Sylvain Boulmé, Thérèse Hardin, Daniel Hirschkoff, Valérie Ménissier-Morain, Renaud Rioboo
On the way to certify Computer Algebra Systems. Calculemus (1999)
Catherine Dubois, Valérie Ménissier-Morain
Certification of a Type Inference Tool for ML: Damas-Milner within Coq. J. Autom. Reason. 23 (3-4) (1999)