Annuaire

MÉNISSIER-MORAIN Valérie

Maitresse de Conférences
Équipe : PEQUAN

Sorbonne Université - LIP6

01 44 27 87 35
Valerie.Menissier-Morain (at) nulllip6.fr
https://perso.lip6.fr/Valerie.Menissier-Morain

Activité de recherche

L'arithmétique compensée, notamment l'arithmétique complexe compensée (travail avec Stef Graillat).
La nécessité de la stabilité et d'un accès fiable au mode d'arrondi comme préalable à toute arithmétique fiable (travail avec Christoph Lauter).

Publications 1999-2014

2014
- V. Ménissier‑Morain : “Tools for a gentle slope transition From floating point arithmetic to exact real arithmetic”, Proceedings of the Eleventh International Conference on Computability and Complexity in Analysis, Darmstadt, Germany (2014)
2012
- Ch. Lauter, V. Ménissier‑Morain : “There’s no Reliable Computing without Reliable Access to Rounding Modes”, SCAN'2012, Novosibirsk, Russian Federation, pp. 99-100 (2012)
- S. Graillat, V. Ménissier‑Morain : “Accurate summation, dot product and polynomial evaluation in complex floating point arithmetic”, Information and Computation n°216, pp. 57-71, (Elsevier) (2012)
2008
- S. Graillat, V. Ménissier‑Morain : “Compensated Horner scheme in complex floating point arithmetic”, Proceedings, 8^th Conference on Real Numbers and Computers, Santiago de Compostela, Spain, pp. 133-146 (2008)
2007
- S. Graillat, V. Ménissier‑Morain : “Error-Free Transformations in Real and Complex Floating Point Arithmetic”, Proceedings of International Symposium on Nonlinear Theory and its Applications (NOLTA'07), Vancouver, Canada, pp. 341-344 (2007)
- V. Ménissier‑Morain, Ch. Queinnec, G. Renault : “Environnement de développement -- annales corrigées, avril 2005-janvier 2007”, (Paracamplus, Paris, France), (ISBN: 978-2-916466-04-0) (2007)
2006
- V. Ménissier‑Morain, Ch. Queinnec, G. Renault : “Environnement de développement -- annales corrigées, novembre 2004-janvier 2006”, (Paracamplus, Paris, France), (ISBN: 978-2-916466-02-9) (2006)
2005
- V. Ménissier‑Morain : “Arbitrary precision real arithmetic: design and proved algorithms”, Journal of Logic and Algebraic Programming, vol. 64 (1), pp. 13-39, (Elsevier) (2005)
- V. Ménissier‑Morain : “Numéro spécial JFLA”, Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, vol. 24, (Lavoisier) (2005)
2004
- V. Ménissier‑Morain : “Actes des Journées Francophones des Langages Applicatifs”, (2004)
- C. Dubois, V. Ménissier‑Morain : “Apprentissage de la programmation avec OCaml”, (Hermès Sciences) (2004)
2003
- V. Ménissier‑Morain : “Arbitrary precision real arithmetic: design and algorithms”, (2003)
1999
- S. Boulmé, Th. Hardin, D. Hirschkoff, V. Ménissier‑Morain, R. Rioboo : “On the way to certify computer algebra systems”, Calculemus workshop of FLOC'99, vol. 23 (3), Electronic Notes in Theoretical Computer Science, Trento, Italy, pp. 370-385, (Elsevier) (1999)