Concepedia

Valérie Ménissier-Morain

VM

Statistics

Publications

5

Citations

93

H-Index

5

Active since

1999

Affiliations

Sorbonne Université(Current)

LIP6

Université Paris Cité

Valérie Ménissier-Morain is an author at Sorbonne Université specializing in computer science, computing, and floating-point arithmetic.

Publications per year

1999–2013

5

Publications

5

Arbitrary precision real arithmetic: design and algorithms

Valérie Ménissier-Morain · The Journal of Logic and Algebraic Programming · 2004 · 31 citations · Full text

Computing, Computer Science, Mathematics +10

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

Catherine Dubois, Valérie Ménissier-Morain · Journal of Automated Reasoning · 1999 · 21 citations

Computing, Computer Science, Formal Methods +12

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

Stef Graillat, Valérie Ménissier-Morain · Information and Computation · 2012 · 16 citations

Computing, Computer Science, Mathematics +16

On the way to certify Computer Algebra Systems

Sylvain Boulmé, Thérèse Hardin, D. Hirschkoff et al. · Electronic Notes in Theoretical Computer Science · 1999 · 14 citations · Full text

Computing, Computer Science, Algebra +14

Error-free transformations in real and complex floating point arithmetic

Stef Graillat, Valérie Ménissier-Morain · 2013 · 11 citations

Computing, Computer Science, Mathematics +14

1–5 of 5