Marc Daumas

From MaRDI portal
Person:1371153

Available identifiers

zbMath Open daumas.marcMaRDI QIDQ1371153

List of research outcomes





PublicationDate of PublicationType
Verified Real Number Calculations: A Library for Interval Arithmetic2017-08-08Paper
Formally Verified Argument Reduction with a Fused Multiply-Add2017-08-08Paper
Certification of bounds on expressions involving rounded operators2017-05-19Paper
A formal theory of cooperative TU-games2009-12-17Paper
A simple test qualifying the accuracy of Horner's rule for polynomials2005-09-05Paper
Further reducing the redundancy of a notation over a minimally redundant digit set2003-08-25Paper
https://portal.mardi4nfdi.de/entity/Q47906592003-02-04Paper
Additive symmetries: The non-negative case.2003-01-21Paper
https://portal.mardi4nfdi.de/entity/Q45207772001-02-27Paper
https://portal.mardi4nfdi.de/entity/Q45202802001-02-26Paper
Computing on sequences of embedded intervals1998-06-04Paper
https://portal.mardi4nfdi.de/entity/Q48516601996-06-09Paper
https://portal.mardi4nfdi.de/entity/Q48516611995-10-11Paper

Research outcomes over time

This page was built for person: Marc Daumas

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1371153&oldid=6312595"
Powered by MediaWiki