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)