Marc Daumas

Available identifiers

zbMath Open daumas.marcMaRDI QIDQ1371153

List of research outcomes

Publication	Date of Publication	Type
Formally Verified Argument Reduction with a Fused Multiply-Add	2017-08-08	Paper
Verified Real Number Calculations: A Library for Interval Arithmetic	2017-08-08	Paper
Certification of bounds on expressions involving rounded operators	2017-05-19	Paper
A Formal Theory of Cooperative TU-Games	2009-12-17	Paper
A simple test qualifying the accuracy of Horner's rule for polynomials	2005-09-05	Paper
Further reducing the redundancy of a notation over a minimally redundant digit set	2003-08-25	Paper
https://portal.mardi4nfdi.de/entity/Q4790659	2003-02-04	Paper
Additive symmetries: The non-negative case.	2003-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q4520777	2001-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q4520280	2001-02-26	Paper
Computing on sequences of embedded intervals	1998-06-04	Paper
https://portal.mardi4nfdi.de/entity/Q4851660	1996-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q4851661	1995-10-11	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Marc Daumas