Recipes for geometry and numerical analysis - Part I: an empirical study

Geometric computations, like all numerical procedures, are extremely prone to roundoff error. However, virtually none of the numerical analysis literature directly applies to geometric calculations. Even for line intersection, the most basic geometric operation, there is no robust and efficient algorithm. Compounding the difficulties, many geometric algorithms perform iterations of calculations reusing previously computed data. In this paper, we explore some of the main issues in geometric computations and the methods that have been proposed to handle roundoff errors. In particular, we focus on one method and apply it to a general iterative intersection problem. Our initial results seem promising and will hopefully lead to robust solutions for more complex problems of computational geometry.

[1]  James Hardy Wilkinson,et al.  Rounding errors in algebraic processes , 1964, IFIP Congress.

[2]  Xiaomei Yang Rounding Errors in Algebraic Processes , 1964, Nature.

[3]  David W. Matula,et al.  A Simulative Study of Correlated Error Propagation in Various Finite-Precision Arithmetics , 1973, IEEE Transactions on Computers.

[4]  J. Vignes,et al.  Error Analysis in Computing , 1974, IFIP Congress.

[5]  J. Vignes New methods for evaluating the validity of the results of mathematical computations , 1978 .

[6]  James S. Vandergraft,et al.  Introduction to Numerical Computations , 1983 .

[7]  Webb Miller,et al.  Software for Roundoff Analysis of Matrix Algorithms , 1980 .

[8]  Willard L. Miranker,et al.  Computer arithmetic in theory and practice , 1981, Computer science and applied mathematics.

[9]  Peter Kornerup,et al.  Finite Precision Rational Arithmetic: An Arithmetic Unit , 1983, IEEE Transactions on Computers.

[10]  Sudhir P. Mudur,et al.  Interval Methods for Processing Geometric Objects , 1984, IEEE Computer Graphics and Applications.

[11]  J. Faye,et al.  Stochastic approach of the permutation-perturbation method for round-off error analysis , 1985 .

[12]  Acm Siggraph Proceedings of the Symposium on Computational Geometry : Baltimore, Maryland, 5-7 June 1985 , 1985 .

[13]  Carlo H. Séquin,et al.  Consistent calculations for solids modeling , 1985, SCG '85.

[14]  F. Frances Yao,et al.  Finite-resolution computational geometry , 1986, 27th Annual Symposium on Foundations of Computer Science (sfcs 1986).

[15]  James Demmel On error analysis in arithmetic with varying relative precision , 1987, 1987 IEEE 8th Symposium on Computer Arithmetic (ARITH).

[16]  Thomas Ottmann,et al.  Numerical stability of geometric algorithms , 1987, SCG '87.

[17]  Victor J. Milenkovic,et al.  Verifiable Implementations of Geometric Algorithms Using Finite Precision Arithmetic , 1989, Artif. Intell..

[18]  Deborah E. Silver Geometry, graphics, and numerical analysis , 1988 .

[19]  Harry G. Mairson,et al.  Reporting and Counting Intersections Between Two Sets of Line Segments , 1988 .