The problems of accuracy and robustness in geometric computation
- 1 March 1989
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Computer
- Vol. 22 (3) , 31-39
- https://doi.org/10.1109/2.16223
Abstract
Practical implementation of geometric operations remains error-prone, and the goal of implementing correct and robust systems for carrying out geometric computation remains elusive. The problem is variously characterized as a matter of achieving sufficient numerical precision, as a fundamental difficulty in dealing with interacting numeric and symbolic data, or as a problem of avoiding degenerate positions. The author examines these problems, surveys some of the approaches proposed, and assesses their potential for devising complete and efficient solutions. He restricts the analysis to objects with linear elements, since substantial problems already arise in this case. Three perturbation-free methods are considered: floating-point computation, limited-precision rational arithmetic, and purely symbolic representations. Some perturbation approaches are also examined, namely, representation and model, altering the symbolic data, and avoiding degeneracies.Keywords
This publication has 7 references indexed in Scilit:
- Algebraic Methods for Geometric ReasoningAnnual Review of Computer Science, 1988
- A geometric consistency theorem for a symbolic perturbation schemePublished by Association for Computing Machinery (ACM) ,1988
- Simulation of simplicity: a technique to cope with degenerate cases in geometric algorithmsPublished by Association for Computing Machinery (ACM) ,1988
- Towards implementing robust geometric computationsPublished by Association for Computing Machinery (ACM) ,1988
- Recipes for geometry and numerical analysis - Part I: an empirical studyPublished by Association for Computing Machinery (ACM) ,1988
- Finite-resolution computational geometryPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1986
- Proving by example and gap theoremsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1986