Automatic generation of staged geometric predicates

Higher-Order and Symbolic Computation

Volumn 16, Issue 4, 2003, Pages 379-400

  Nanevski, Aleksandar ^a   Blelloch, Guy ^a   Harper, Robert ^a  

^a Carnegie Mellon University ^*  (United States)

Author keywords

Computational geometry; Exact arithmetic; Floating point filters; Program transformation; Robust predicates

Indexed keywords

ALGORITHMS; C (PROGRAMMING LANGUAGE); COMPUTER AIDED DESIGN; COMPUTER SIMULATION; DIGITAL ARITHMETIC; ERROR ANALYSIS; POLYNOMIALS;

EXACT ARITHMETIC; FLOATING POINT FILTERS; PROGRAM TRANSFORMATION; ROBUST PREDICATES; STAGED GEOMETRIC PREDICATES;

COMPUTATIONAL GEOMETRY;

EID: 0242401829     PISSN: 13883690     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1025876920522     Document Type: Article

References (24)

1. Barber, C.B., Dobkin, D.P., and Huhdanpaa, H. The Quickhull Algorithm for Convex Hulls. ACM Transactions on Mathematical Software, 22(4) (1996) 469-483.
2. Benouamer, M.O., Jaillon, P., Michelucci, D., and Moreau, J.M. A lazy exact arithmetic. In Proceedings of the 11th IEEE Symposium on Computer Arithmetic, E.E. Swartzlander, M.J. Irwin, and J. Jullien (Eds.). Windsor, Canada, 1993, pp. 242-249.
3. Blelloch, G., Burch, H., Crary, K., Harper, R., Miller, G., and Walkington, N. Persistent triangulations. Journal of Functional Programming, 2001 (to appear).
4. Brönnimann, H., Burnikel, C., and Pion, S. Interval arithmetic yields efficient dynamic filters for computational geometry. Discrete Applied Mathematics, 109(1/2) (2001) 24-47.
5. Burnikel, C., Funke, S., and Seel, M. Exact geometric computation using cascading. International Journal of Computational Geometry and Applications, 11(3) (2001) 245-266.
6. Daumas, M. Multiplications of floating point expansions. In Proceedings of the 14th Symposium on Computer Arithmetic, I. Koren and P. Kornerup (Eds.). Adelaide, Australia, 1999, pp. 250-257.
7. Daumas, M. and Finot, C. Division of floating point expansions. In IMACS-GAMM International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, Budapest, Hungaria, 1998, pp. 45-46.
8. Daumas, M. and Finot, C. Algorithm, proof and performances of a new division of floating point expansions. Technical Report 3771, INRIA, Le Chesnay, France, 1999.
9. Daumas, M. and Finot, C. Division of floating point expansions with an application to the computation of a determinant. Journal of Universal Computer Science, 5(6) (1999) 323-338.
10. Dekker, T.J. A floating point technique for extending the available precision. Numerische Mathematik, 18(3) (1971) 224-242.
11. Devillers, O. and Pion, S. Efficient exact geometric predicates for Delaunay triangulations. In Proceedings of the 5th Workshop on Algorithm Engineering and Experiments. Baltimore, Maryland, 2003, pp. 37-44.
12. Fabri, A., Gärtner, B., Hert, S., Hirsch, S., Hoffman, M., Kettner, L., Pion, S., Teillaud, M., Veltkamp, R., and Yvinec, M. The CGAL Manual. Release 2.4, 2002.
13. Fortune, S. and Van Wyk, C.J. Efficient exact arithmetic for computational geometry. In Ninth Annual Symposium on Computational Geometry, Association for Computing Machinery, 1993, pp. 163-172.
14. Funke, S. and Mehlhorn, K. LOOK - A lazy object-oriented kernel for geometric computation. In Proceedings of the 16th Symposium on Computational Geometry, ACM, 2000, pp. 156-165.
15. IEEE. IEEE standard for binary floating-point arithmetic. ACM SIGPLAN Notices, 22(2) (1985) 9-25.
16. Knuth, D.E. The Art of Computer Programming: Seminumerical Algorithms. Addison-Wesley, 1981.
17. Michelucci, D. and Moreau, J.M. Lazy arithmetic. IEEE Transactions on Computers, 46(9) (1997).
18. Nanevski, A., Blelloch, G., and Harper, R. Automatic generation of staged geometric predicates. In ACM SIGPLAN International Conference on Functional Programming. Florence, Italy, 2001, pp. 217-228. Extended version is available as a technical report CMU-CS-01-141, Computer Science Department, Carnegie Mellon University.
19. Priest, D.M. Algorithms for arbitrary precision floating point arithmetic. In Proceedings of the 10th IEEE Symposium on Computer Arithmetic (Arith-10), P. Kornerup and D. W. Matula (Eds.). Grenoble, France, 1991, pp. 132-144.
20. Priest, D.M. On properties of floating point arithmetics: Numerical stability and the cost of accurate computations. Ph.D. Thesis, University of California, Berkeley, 1992.
21. Seshia, S.A., Blelloch, G.E., and Harper, R.W. A performance comparison of interval arithmetic and error analysis in geometric predicates. Technical Report CMU-CS-00-172, School of Computer Science, Carnegie Mellon University, 2000.
22. Shewchuk, J.R. Triangle: Engineering a 2D quality mesh generator and Delaunay triangulator. In First Workshop on Applied Computational Geometry. Philadelphia, Pennsylvania, 1996, pp. 124-133. Available at http://www.cs.cmu.edu/̃quake/triangle.html.
23. Shewchuk, J.R. Adaptive precision floating-point arithmetic and fast robust geometric predicates. Discrete and Computational Geometry, 18 (1997) 305-363.
24. Shewchuk, J.R. Delaunay refinement mesh generation. Ph.D. Thesis, Carnegie Mellon University, 1997.