A BSP-based algorithm for dimensionally nonhomogeneous planar implicit curves with topological guarantees

ACM Transactions on Graphics

Volumn 28, Issue 2, 2009, Pages

  Gomes, Abel J P ^a   Morgado, José F M ^a   Pereira, Edgar S ^a  

^a UNIVERSITY OF BEIRA INTERIOR   (Portugal)

Author keywords

Binary space partitioning; Geometric computing; Implicit curves; Numerical algorithms

Indexed keywords

ALGEBRAIC CURVES; BINARY SPACE PARTITIONING; EXTREMAL; GEOMETRIC COMPUTING; IMPLICIT CURVES; LINE SEGMENT; LOCAL MINIMUMS; MATHEMATICA; NON-HOMOGENEOUS; NUMERICAL ALGORITHMS; POLYNOMIAL FUNCTIONS; RECTANGULAR REGIONS; SELF-INTERSECTIONS; SIGN VARIATIONS;

ALGORITHMS; COMPUTER SCIENCE; FUNCTIONS; LARGE SCALE SYSTEMS; MATLAB; NUMERICAL METHODS; PARTITIONS (BUILDING);

GRAPH THEORY;

EID: 70349684856     PISSN: 07300301     EISSN: 15577368     Source Type: Journal    
DOI: 10.1145/1516522.1516528     Document Type: Article

References (48)

1. ALBERTI, L. ANDMOURRAIN, B. 2007a. Regularity criteria for the topology of algebraic curves and surfaces. In Mathematics of Surfaces XII, R. Martin et al., Eds. Lecture Notes in Computer Science, vol.4647. Springer-Verlag, 1-28.
2. ALBERTI, L. AND MOURRAIN, B. 2007b. Visualisation of implicit algebraic curves. In Proceedings of the 15th Pacific Conference on Computer Graphics and Applications (PG'07),M. Alexa et al., Eds. IEEE Computer Society Press, 303-312.
3. ALLGOWER, E. ANDGEORG,K. 1990. Numerical Continuation Methods: An Introduction. Springer-Verlag.
4. ALLGOWER, E. AND GNUTZMANN, S. 1991. Simplicial pivoting for mesh generation of implicitly defined surfaces. Comput. Aided Geom. Des. 8, 305-325.
5. ARNBORG, S. AND FENG, H. 1988. Algebraic decomposition of regular curves. J. Symbol. Comput. 5, 1-2, 131-140.
6. ARNON, D. ANDMCCALLUM, S. 1988. A polynomial time algorithm for the topological type of a real algebraic curve. J. Symbol. Comput. 5, 1- 213-236.
7. BAJAJ, C. AND XU, G. 1997. Piecewise rational approximations of real algebraic curves. J. Comput. Math. 15, 1, 55-71. (Pubitemid 127756159)
8. BENTLEY, J. 1975. Multidimensional binary search trees used for associative searching. Commun. ACM 18, 9, 509-517.
9. BLINN, J. 1982. A generalization of algebraic surface drawing. ACM Trans. Graphics 1, 3, 235-256.
10. BLOOMENTHAL, J. 1988. Poligonization of implicit surfaces. Comput. Aided Geom. Design 5, 4, 341-355.
11. BLOOMENTHAL, J. 1994. An implicit surface polygonizer. In Graphics Gems. Vol.4. Academic Press.
12. BODŃAR, G. AND SCHICHO, J. 2000. A computer program for the resolution of singularities. In Resolution of Singularities, A Research Textbook in Tribute to Oscar Zariski, H. Hauser et al. Eds. Progress in Mathematics, vol.181. Birkḧauser, 231-238.
13. CHANDLER, R. 1988. A tracking algorithm for implicitly defined curves. IEEE Comput. Graphics Appl. 8, 2, 83-89.
14. COLLINS, G. AND LOOS, R. 1976. Polynomial real root isolation using Descates' rule of signs. In Proceedings of the ACM Symposium on Symbolic and Algebraic Computation. ACM Press.
15. CORLESS, R., GONZALEZ-VEGA, L., NECULA, I., AND SHAKOORI, A. 2003. Topology determination of implicitly defined real algebraic plane curves. Analele Universitatii din Timisoara, Seria Matematica-Inf. 41, 3, 83-96.
16. EIGENWILLIG, A., KERBER, M., AND WOLPERT, N. 2007. Fast and exact geometric analysis of real algebraic plane curves. In Proceedings the International Symposium on Symbolic and Algebraic Computation (ISSAC'07), C. Brown, Ed. ACM Press, 151-158.
17. EIGENWILLIG, A., SHARMA, V., AND YAP, C. 2006. Almost tight recursion tree bounds for the Descartes method. In Proceedings of the ACM Symposium on Symbolic and Algebraic Computation, 71-78.
18. FUCHS, H., KEDEM, Z., AND NAYLOR, B. 1980. On visible surface generation by a priori tree structures. Comput. Graphics 14, 3, 124-133.
19. GIANNI, P. AND TRAVERSO, C. 1983. Shape determination of real curves and surfaces. Annali dell'Universit́a diFerrara, Sezione VII - Sc. Math. 29, 87-109.
20. GONZALEZ-VEGA, L., LOMBARDI, H., RECIO, T., AND ROY, M.-F. 1990. Sṕecialisation de la suite de Sturm et sous-ŕesultants (i). Inf. Th́eorique Appl. 24, 561-588.
21. GONZALEZ-VEGA, L., LOMBARDI, H., RECIO, T., AND ROY, M.-F. 1994. Sṕecialisation de la suite de Sturm et sous-ŕesultants (ii). Inf. Th́eorique Appl. 28, 1-24.
22. GONZALEZ-VEGA, L. AND NECULA, I. 2002. Efficient topology determination of implicitly defined algebraic plane curves. Comput. Aided Geom. Des. 19, 9, 719-743.
23. HEINDEL, L. 1971. Integer arithmetic algorithms for polynomial real zero determination. J. ACM 18, 4, 533-548.
24. HONG, H. AND SCHICHO, J. 1998. Algorithms for trigonometric curves (simplification, implicitization, parameterization). J. Symbol. Comput. 26, 3, 279-300.
25. KEYSER, J., CULVER, T., MANOCHA, D., AND KRISHNAN, S. 1999. MAPC: A library for efficient and exact manipulation of algebraic points and curves. In Proceedings of the 15th ACM Symposium on Computational Geometry. ACM Press, 360-369.
26. KRANDICK, W. AND MEHLHORN, K. 2006. New bounds for the Descartes' method. J. Symbol. Comput. 41, 1, 49-66.
27. KRISHNAN, S. AND MANOCHA, D. 1995. Numeric symbolic algorithms for evaluating one-dimensional algebraic sets. In Proceedings of ACM Symposium and Algebraic Computation. ACM Press, 59-67.
28. LANE, J. AND RIESENFELD, R. 1981. Bounds on a polynomial. BIT Numer. Math. 21, 1, 112-117.
29. LOPES, H., OLIVEIRA, J., AND FIGUEIREDO, L. 2001. Robust adaptive polygonal approximation of implicit curves. In Proceedings of the 14th Brazilian Symposium on Computer Graphics and Image Processing. IEEE Press, 10-17.
30. LORENSEN,W. AND CLINE,W. 1987. Marching cubes: A high resolution 3D surface construction algorithm. Comput. Graphics 21, 4, 163-169.
31. M̈OLLER, T. AND YAGEL, R. 1995. Efficient rasterization of implicit functions. http://citeseer.nj.nec.com/357413.html.
32. MORGADO, J. ANDGOMES,A. 2005. Ageneralized false position method for finding zeros and extrema of a real function. In Lecture Series on Computer and Computational Sciences 4, 425-428.
33. MOURRAIN, B. AND PAVONE, J.-P. 2005. Subdivision methods for solving polynomial equations. Tech. rep. 5658, Institut National de Recherche en Informatique et en Automatique (INRIA). August.
34. MOURRAIN, B., ROUILLIER, F., AND ROY, M.-F. 2005. Bernstein's basis and real root isolation. In Current Trends in Combinatorial and Computational Geometry, J. Goodman et al., Eds. Mathematical Sciences Research Institute. Cambridge University Press, 459-478.
35. NAYLOR, B., AMANATIDES, J., AND THIBAULT, W. 1990. Merging BSP trees yields polyhedral set operations. Comput. Graphics 24, 4, 115-124.
36. PRESS, W., FLANNERY, B., TEUKOLSKY, S., AND VETTERLING, W. 1992. Numerical Recipes in C. Cambridge University Press.
37. SAMET, H. 2006. Foundations of Multidimensional and Metric Data Structures. The Morgan Kaufmann Series in Data Management Systems. Morgan Kaufmann.
38. SEIDEL, R. AND WOLPERT, N. 2005. On the exact computation of the topology of real algebraic curves. In Proceedings of the 21st ACM Symposium on Computational Geometry. ACM Press, 107-115.
39. SHEWCHUK, J. 1997. Adaptive precision floating-point arithmetic and fast robust geometric predicates. Discrete Comput. Geom. 18, 3, 305-363.
40. SNYDER, J. 1992. Interval arithmetic for computer graphics. In Computer Graphics. Vol.26. 121-130.
41. STURM, C.-F. 1829. Ḿemoire sur la ŕesolution des ́equationsnuḿeriques. Le Bulletin des Sciences de F́erussac 11.
42. SUBRAMANIAN, K. AND NAYLOR, B. 1997. Converting discrete images to partitioning trees. IEEE Trans. Visualiz. Comput. Graphics 3, 3, 273-288.
43. SUNG, K. AND SHIRLEY, P. 1992. Ray tracing with the BSP tree. In Graphics Gems. Vol.3. Academic Press, 271-274.
44. THIBAULT,W. ANDNAYLOR, B. 1987. Set operations on polyhedra using binary space partition trees. Comput. Graphics 21, 4, 153-162.
45. ACM Transactions on Graphics, Vol.28, No.2, Article 17, Publication date: April 2009.
46. TRIQUET, F. 2001. Fast polygonization of implicit surfaces. In Proceedings of the International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision (WSCG'01), vol.2. 283-290.
47. TUPPER, J. 2001. Reliable two-dimensional graphing methods for mathematical formulae with two free variables. In Proceedings of the 28th Annual International Conference on Computer Graphics and Interactive Techniques (SIGGRAPH'01), J. Mitchell and G. Rote, Eds. ACM Press, 77-86.
48. USPENSKY, J. 1948. Theory of Equations. McGraw-Hill, New York.