Lazy arithmetic

IEEE Transactions on Computers

Volumn 46, Issue 9, 1997, Pages 961-975

  Michelucci, Dominique ^a   Moreau, Jean Michel ^a  

^a ECOLE DES MINES DE SAINT ETIENNE   (France)

Author keywords

Computational geometry; Exact rational arithmetic; Hash coding; Inconsistencies; Interval arithmetic; Lazy arithmetic; Robustness

Indexed keywords

COMPUTER AIDED DESIGN; PROBLEM SOLVING;

HASH CODING; INTERVAL ARITHMETIC; LAZY ARITHMETIC;

COMPUTATIONAL GEOMETRY;

EID: 0031366537     PISSN: 00189340     EISSN: None     Source Type: Journal    
DOI: 10.1109/12.620478     Document Type: Article

References (44)

1. C. Barber, "Computational Geometry with Imprecise Data and Arithmetic," PhD thesis, Princeton Univ., Oct. 1992.
2. M.O. Benouamer, "Operations Booléennes sur les polyèdres représentés par leurs frontières et imprécisions numériques," PhD thesis, École des Mines de Saint Étienne, 1993.
3. M.O. Benouamer, P. Jaillon, D. Michelucci, and J-M. Moreau, "Hashing Lazy Numbers," Proc. SCAN-93, Vienna, Sept. 1993.
4. M.O. Benouamer, P. Jaillon, D. Michelucci, and J-M. Moreau, "A Lazy Solution to Imprecision in Computational Geometry," Proc. Fifth Canadian Conf. Computational Geometry, pp. 73-78, Waterloo, Canada, Aug. 5-9, 1993.
5. M.O. Benouamer, P. Jaillon, D. Michelucci, and J-M. Moreau, "A Lazy Arithmetic Library," Proc. IEEE 11th Symp. Computer Arithmetic, Windsor, Canada, June 30-July 2, 1993.
6. M.O. Benouamer, D. Michelucci, and B. Péroche, "Boundary Evaluation Using a Lazy Rational Arithmetic," Proc. Second ACM/IEEE Symp. Solid Modeling and Applications, pp. 115-126, Montréal, 1993.
7. C. Huffman, J. Hopcroft, and M. Karasick, " Robust Set Operations on Polyhedral Solids," IEEE Computer Graphics and Applications, vol. 9, no. 6, pp. 50-59, Nov. 1989.
8. J.D. Chang and V. Milenkovic, "An Experiment Using LN for Exact Geometric Computations," Proc. Fourth ACM Canadian Conf. Computational Geometry, pp. 67-72, Aug. 1993.
9. S. Fortune, "Polyhedral Modelling with Exact Arithmetic," Proc. Third Symp. Solid Modeling and Applications, C. Hoffmann and J. Rossignac, eds., pp. 225-233, May 1995.
10. S. Fortune and C. van Wyk, " Efficient Exact Arithmetic for Computational Geometry," Proc. Ninth ACM Symp. Computational Geometry, pp. 163-172, San Diego, May 1993.
11. M. Gangnet and J.M. van Thong, "Robust Boolean Operations on 2D Paths," Proc. COMPUGRAPHICS 91, vol. 2, pp. 434-443, Sesimbra, Portugal, 1991.
12. D. Goldberg, "What Every Computer Scientist Should Know about Floating-Point Arithmetic," ACM Computing Survey, vol. 23, no. 1, pp. 5-48, Mar. 1991.
13. L. Guibas, D. Salesin, and J. Stolfi, "Epsilon Geometry: Building Robust Algorithms from Imprecise Computations," Proc. Fifth ACM Symp. Computational Geometry, pp. 208-217, 1989.
14. J.F. Hughes, D.H. Laidlaw, and J.F. Trumbore, "Constructive Solid Geometry for Polyhedral Objects," Proc. SIGGRAPH 86, vol. 20, no 4, pp. 161-180, Aug. 1986.
15. M. Iri and K. Sugihara, "Construction of the Voronoi Diagram for One Million Generators in Single-Precision Arithmetic," Proc. First Canadian Conf. Computational Geometry, Montréal, 1989.
16. P. Jaillon, " Proposition d'une arithmétique rationnelle paresseuse et d'un outil d'aide à la saisie d'objets en synthèse d'images," PhD thesis, École Nationale Supérieure des Mines de Saint-Étienne, 1993.
17. L. Bentley and T. Ottmann, "Algorithms for Reporting and Counting Geometric Intersections," IEEE Trans. Computers, vol. 28, no. 9, pp. 643-647, Sept. 1979.
18. R. Klatte, U. Kulisch, C. Lawo, M. Rausch, and A. Wiethoff, C-XSC, A C++ Class Library for Extended Scientific Computing. Berlin/ Heidelberg/ New York: Springer-Verlag, 1993.
19. D.E. Knuth, Seminumerical Algorithms, vol. 2. Reading, Mass.: Addison-Wesley, 1981.
20. P. Kornerup and D.W. Matula, "Finite Precision Rational Arithmetic: An Arithmetic Unit," IEEE Trans. Computers, vol. 32, no. 4, pp. 378-388, Apr. 1983.
21. P. Kornerup and D.W. Matula, "An Algorithm for Redundant Binary Bit-Pipelined Rational Arithmetic," IEEE Trans. Computers, vol. 39, no. 8, pp. 1,106-1,115, Aug. 1990.
22. U.W. Kulisch and W.L. Miraker, Computer Arithmetic in Theory and Practice. New York: Academic Press, 1981.
23. U.W. Kulisch and W.L. Miranker, A New Approach to Scientific Computation. New York: Academic Press, 1982.
24. Z. Li and V.J. Milenkovic, "Constructing Strongly Convex Hulls Using Exact or Rounded Arithmetic," Proc. ACM-SIAM Symp. Discrete Algorithms, 1989.
25. L.J. Guibas and J. Stolfi, " Primitives for the Manipulation of General Subdivisions and the Computation of Voronoi Diagrams," ACM Trans. Graphics, vol. 4, pp. 74-123, 1985.
26. M. Karasick, D. Lieber, and L.R. Nackmann, "Efficient Delaunay Triangulation Using Rational Arithmetic," ACM Trans. Graphics, vol. 10, pp. 71-91, Jan. 1991.
27. D. Michelucci, "Les représentations par les frontières: quelques constructions; difficultés rencontrées," PhD thesis, École Nationale Supérieure des Mines de Saint-Étienne, 1987.
28. V.J. Milenkovic, "Verifiable Implementations of Geometric Algorithms Using Finite Precision Arithmetic," PhD thesis, Carnegie-Mellon Univ., 1988.
29. V.J. Milenkovic and V. Milenkovic, "Rational Orthogonal Approximations to Orthogonal Matrices," Proc. Fifth Canadian Conf. Computational Geometry, pp. 485-490, Waterloo, Canada, 1993.
30. V.J. Milenkovic and L.R. Nackmann, "Finding Compact Coordinate Representations for Polygons and Polyhedra," IBM J. Research and Davelopment, vol. 34, no. 5, pp. 753-769, Sept. 1990.
31. R.E. Moore, Interval Analysis. Englewood Cliffs, N.J.: Prentice Hall, 1966.
32. J.-M. Moreau, " Facétisation et hiérarchisation de la représentation par segments d'un graphe planaire dans le cadre d'une arithmétique mixte," PhD thesis, Ecole Nationale Supérieure des Mines de Saint-Étienne, 1990.
33. J.-M. Muller, Arithmátique des ordinateurs, opérateurs et fonctions élémentaires. Paris/ Milan/ Barcelona/ Mexico: Masson, 1989.
34. J. Nakagawa, H. Sato, K. Toshimitsu, and F. Yamaguchi, "An Adaptive Error-Free Computation Based on the 4 × 4 Determinant," The Visual Computer, vol. 9, pp. 173-181, 1993.
35. G. Ottmann, G. Thient, and C. Ulrich, "Numerical Stability of Simple Geometric Algorithms in the Plane," Computation Theory and Logic, E. Borger, ed. Berlin: Springer-Verlag, 1987.
36. P. Kornerup and D.W. Matula, "Foundatoins of Finite Precision Rational Arithmetic," Computing Supplement, vol. 2, pp. 85-111, 1980.
37. F. P. Preparata and M.I. Shamos, Computational Geometry - An Introduction. New York: Springer-Verlag, 1985.
38. J.T. Schwartz, "Fast Probabilistic Algorithms for Verification of Polynomial Identities," J. ACM, vol. 27, pp. 701-717, 1980.
39. M. Segal and C.H. Séquin, "Consistent Calculations for Solids Modeling," Proc. First ACM Symp. Computational Geometry, pp. 29-38, 1985.
40. R.E. Tarjan, Data Structures and Network Algorithms. Philadelphia: SIAM, 1983.
41. J. Vignes, "Estimation de la précision des résultats de logiciels numériques," La Viedes Sciences, vol. 7, no. 2, pp. 93-115, 1990.
42. P.H. Winston, Artificial Intelligence. Reading, Mass.: Addison-Wesley, 1984.
43. F. Yamagushi, "Theoretical Foundations for the 4 × 4 Determinant Approach in Computer Graphics and Geometrical Modeling," The Visual Computer, vol. 3, pp. 88-97, 1987.
44. C.K. Yap, "Towards Exact Geometric Computation," Proc. Fifth Canadian Conf. Computational Geometry, pp. 405-419, Waterloo, Canada, Aug. 5-9, 1993.