Marc Daumas

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Verified Real Number Calculations: A Library for Interval Arithmetic IEEE Transactions on Computers	2017-08-08	Paper
Formally Verified Argument Reduction with a Fused Multiply-Add IEEE Transactions on Computers	2017-08-08	Paper
Certification of bounds on expressions involving rounded operators ACM Transactions on Mathematical Software	2017-05-19	Paper
A formal theory of cooperative TU-games Modeling Decisions for Artificial Intelligence	2009-12-17	Paper
A simple test qualifying the accuracy of Horner's rule for polynomials Numerical Algorithms	2005-09-05	Paper
Further reducing the redundancy of a notation over a minimally redundant digit set Journal of VLSI signal processing systems for signal, image and video technology	2003-08-25	Paper
scientific article; zbMATH DE number 1863384 (Why is no real title available?)	2003-02-04	Paper
Additive symmetries: The non-negative case. Theoretical Computer Science	2003-01-21	Paper
scientific article; zbMATH DE number 1543309 (Why is no real title available?)	2001-02-27	Paper
scientific article; zbMATH DE number 1542831 (Why is no real title available?)	2001-02-26	Paper
Computing on sequences of embedded intervals Reliable Computing	1998-06-04	Paper
scientific article; zbMATH DE number 804654 (Why is no real title available?)	1996-06-09	Paper
scientific article; zbMATH DE number 804655 (Why is no real title available?)	1995-10-11	Paper

Research outcomes over time

This page was built for person: Marc Daumas