Nathalie Revol

Available identifiers

zbMath Open revol.nathalieMaRDI QIDQ1365927

List of research outcomes

Publication	Date of Publication	Type
Affine Iterations and Wrapping Effect	2023-09-26	Paper
Testing interval arithmetic libraries, including their IEEE-1788 compliance	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	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	2017-06-20	Paper
Refining and verifying the solution of a linear system	2016-09-29	Paper
First steps towards more numerical reproducibility	2016-01-29	Paper
LEMA	2015-02-26	Paper
A validated real function calculus	2013-05-16	Paper
Standardized interval arithmetic and interval arithmetic used in libraries	2010-09-14	Paper
Handbook of Floating-Point Arithmetic	2009-05-26	Paper
Numerical Software with Result Verification	2007-09-28	Paper
A new range-reduction algorithm	2007-01-09	Paper
Motivations for an arbitrary precision interval arithmetic and the MPFI library	2005-11-07	Paper
Proposal for a standardization of mathematical function implementation in floating-point arith\-metic	2005-09-05	Paper
Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY	2005-06-01	Paper
https://portal.mardi4nfdi.de/entity/Q4737454	2004-08-11	Paper
Interval Newton iteration in multiple precision for the univariate case	2004-01-14	Paper
Accelerated shift-and-add algorithms	2000-09-04	Paper
Parallel evaluation of arithmetic circuits	1997-09-10	Paper
https://portal.mardi4nfdi.de/entity/Q4313997	1995-11-23	Paper

Research outcomes over time

This page was built for person: Nathalie Revol