Nathalie Revol

Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library

Nathalie Revol, Fabrice Rouillier · Reliable Computing · 2005 · 129 citations · Full text

Computing, Computer Science, Mathematics +14

Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY

Nathalie Revol, Kyoko Makino, Martin Berz · The Journal of Logic and Algebraic Programming · 2004 · 81 citations · Full text

Natural Sciences, Computer Science, Mathematics +12

A new range-reduction algorithm

Nicolas Brisebarre, David Defour, Peter Kornerup et al. · IEEE Transactions on Computers · 2005 · 32 citations

Computing, Computer Science, Algorithms +5

Interval Newton Iteration in Multiple Precision for the Univariate Case

Nathalie Revol · Numerical Algorithms · 2003 · 29 citations · Full text

Computing, Computer Science, Mathematics +14

Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic

David Defour, Guillaume Hanrot, Vincent Lefèvre et al. · Numerical Algorithms · 2004 · 16 citations · Full text

Natural Sciences, Computer Science, Mathematics +13