Numerical nonrobustness causes all kinds of failures.
But can you produce an example with an infinite loop?
This and other forms of manifestation are discussed in
Anatomy of Algorithmic Failures. It is intended to provide
classroom examples. Source code available.
Robust Geometric Algorithms and their Implementation,
Guest Editorial Forward from a
Special Issue of Computational Geometry: Theory and Applications
(CGTA 33:1, 2006).
for ``Survey/Tutorial on Exact Geometric Computing'' Lectures
at Workshop on Geometric Computing,
University of Hong Kong, June 27--29, 2001.
--Tom Peters's presentation on
Non-robustness Issues in CAGD
[here is a local copy]
This work is part of the NSF/DARPA CARGO Program (2001-4) in which
non-robustness and topological consistency issues are addressed.
-- Software Bugs Cost US economy $59.5 billion/year.
The report focused on the financial sector, and
the automotive and aircraft manufacturing industries.
In the latter 2 industries, the cost is estimated at $1.8 billion/year.
Report was prepared by Research Triangle Institute
-- Disasters attributable to numerical errors, from
(including the North Sea oil rig collapse)
Projects and Groups
at Max-Planck Institute of Computer Science
is involved in various robustness projects (LEDA, CGAL, EXACUS).
The MPFR library is a C library for multiprecision floating-point
computations with exact rounding. It is based on the GMP
multiprecision library and will replace the MPF class starting
with version 3.1 of GMP. Here are some