On properties of floating point arithmetics: numerical stability and the cost of accurate computations

Static analysis yields efficient exact integer arithmetic for computational geometry

ACM Transactions on Graphics (TOG)

Robust and efficient evaluation of functionals on parametric surfaces

SCG '97 Proceedings of the thirteenth annual symposium on Computational geometry

Efficient algorithms for line and curve segment intersection using restricted predicates

SCG '99 Proceedings of the fifteenth annual symposium on Computational geometry

Using accurate arithmetics to improve numerical reproducibility and stability in parallel applications

Proceedings of the 14th international conference on Supercomputing

Automatic generation of staged geometric predicates

Proceedings of the sixth ACM SIGPLAN international conference on Functional programming

Using Accurate Arithmetics to Improve Numerical Reproducibility and Stability in Parallel Applications

The Journal of Supercomputing

Scalar fused multiply-add instructions produce floating-point matrix arithmetic provably accurate to the penultimate digit

ACM Transactions on Mathematical Software (TOMS)

A Generic Library for Floating-Point Numbers and Its Application to Exact Computing

TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics

A Case Study on the Cost of Geometric Computing

ALENEX '99 Selected papers from the International Workshop on Algorithm Engineering and Experimentation

Automatic Generation of Staged Geometric Predicates

Higher-Order and Symbolic Computation

More accuracy at fixed precision

Journal of Computational and Applied Mathematics - Special issue: Proceedings of the international conference on linear algebra and arithmetic, Rabat, Morocco, 28-31 May 2001

A comparison of methods for accurate summation

ACM SIGSAM Bulletin

Analysis and applications of Priest's distillation

ACM Transactions on Mathematical Software (TOMS)

Residual iteration and accurate polynomial evaluation for shape-interrogation applications

SM '04 Proceedings of the ninth ACM symposium on Solid modeling and applications

Error-Free Transformation in Rounding Mode toward Zero

Numerical Validation in Current Hardware Architectures

Computing planar Voronoi diagrams in double precision: a further example of degree-driven algorithm design

Proceedings of the twenty-sixth annual symposium on Computational geometry

Polynomial homotopies on multicore workstations

Proceedings of the 4th International Workshop on Parallel and Symbolic Computation

Algorithm engineering: bridging the gap between algorithm theory and practice

Algorithm engineering: bridging the gap between algorithm theory and practice

Improving accuracy for matrix multiplications on GPUs

Scientific Programming

Floating-Point verification using theorem proving

SFM'06 Proceedings of the 6th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems

Accurate solution of dense linear systems, part I: Algorithms in rounding to nearest

Journal of Computational and Applied Mathematics