Nathalie Revol

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
Affine Iterations and Wrapping Effect Acta Cybernetica	2023-09-26	Paper
Testing interval arithmetic libraries, including their IEEE-1788 compliance Parallel Processing and Applied Mathematics	2023-08-25	Paper
About the accurate mode of the IEEE 1788-2015 standard for interval arithmetic	2023-08-21	Paper
Introduction to the IEEE 1788-2015 standard for interval arithmetic Numerical Software Verification	2022-07-01	Paper
Influence of the condition number on interval computations: illustration on some examples	2020-12-15	Paper
Handbook of floating-point arithmetic	2018-04-04	Paper
Numerical Reproducibility and Parallel Computations: Issues for Interval Algorithms IEEE Transactions on Computers	2017-06-20	Paper
Refining and verifying the solution of a linear system Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation	2016-09-29	Paper
First steps towards more numerical reproducibility ESAIM: Proceedings and Surveys	2016-01-29	Paper
LEMA ACM Communications in Computer Algebra	2015-02-26	Paper
A validated real function calculus Mathematics in Computer Science	2013-05-16	Paper
Standardized interval arithmetic and interval arithmetic used in libraries Mathematical Software – ICMS 2010	2010-09-14	Paper
Handbook of Floating-Point Arithmetic	2009-05-26	Paper
Numerical Software with Result Verification Lecture Notes in Computer Science	2007-09-28	Paper
A new range-reduction algorithm IEEE Transactions on Computers	2007-01-09	Paper
Motivations for an arbitrary precision interval arithmetic and the MPFI library Reliable Computing	2005-11-07	Paper
Proposal for a standardization of mathematical function implementation in floating-point arith\-metic Numerical Algorithms	2005-09-05	Paper
Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY The Journal of Logic and Algebraic Programming	2005-06-01	Paper
scientific article; zbMATH DE number 2086858 (Why is no real title available?)	2004-08-11	Paper
Interval Newton iteration in multiple precision for the univariate case Numerical Algorithms	2004-01-14	Paper
Accelerated shift-and-add algorithms Reliable Computing	2000-09-04	Paper
Parallel evaluation of arithmetic circuits Theoretical Computer Science	1997-09-10	Paper
scientific article; zbMATH DE number 697779 (Why is no real title available?)	1995-11-23	Paper

Research outcomes over time

This page was built for person: Nathalie Revol