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

Accuracy and stability of numerical algorithms

Choice Reviews Online · 1996 · 2.1K citations

Computing, Computer Science, Mathematics +17

Adaptive Precision Floating-Point Arithmetic and Fast Robust Geometric Predicates

Jonathan Richard Shewchuk · Discrete & Computational Geometry · 1997 · 531 citations · Full text

Computing, Computer Science, Mathematics +14

A floating-point technique for extending the available precision

T.J. Dekker · Numerische Mathematik · 1971 · 506 citations · Full text

Computing, Computer Engineering, Computer Science +12

Verified Integration of ODEs and Flows Using Differential Algebraic Methods on High-Order Taylor Models

Martin Berz, Kyoko Makino · Reliable Computing · 1998 · 305 citations

Natural Sciences, Computational Engineering, Mathematics +15

Algorithms for arbitrary precision floating point arithmetic

Douglas M. Priest · 2002 · 176 citations

Computing, Computer Science, Mathematics +17