On the complexity and computation of view graphs of piecewise smooth algebraic surfaces

Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences

Volumn 354, Issue 1714, 1996, Pages 1899-1940

  Rieger, J H ^a,b  

^a UNIVERSITY OF HAMBURG   (Germany)

^b UNIVERSITY OF SÃO PAULO   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 3242783490     PISSN: 1364503X     EISSN: None     Source Type: Journal    
DOI: 10.1098/rsta.1996.0083     Document Type: Article

References (43)

1. Arnol'd, V. I. 1983 Singularities of systems of rays. Russ. Math. Surv. 38, 87-176.
2. Arnon, D. S., Collins, G. E. & McCallum, S. 1984 Cylindrical algebraic decomposition. I. The basic algorithm. II. An adjacency algorithm for the plane. SIAM J. Comput. 13, 865-877; 878-889.
3. Arnon, D. S., Collins, G. E. & McCallum, S. 1985 An adjacency algorithm for cylindrical algebraic decompositions of three-dimensional space. In Proc. Eurocal'85, vol. 2, pp. 246-261. (Springer LNCS 204.) Berlin: Springer.
4. Bruce, J. W. & Giblin, P. J. 1985 Outlines and their duals. Proc. Lond. Math. Soc. 50, 552-570.
5. Bruce, J. W., du Plessis, A. A. & Wall, C. T. C. 1987 Determinacy and unipotency. Invent. Math. 88, 521-554.
6. Buchberger, B. 1985 Gröbner bases: an algorithmic method in polynomial ideal theory. In Multidimensional systems theory (ed. N. K. Bose), pp. 184-232. Dordrecht, Boston, and Lancaster: Reidel.
7. Collins, G. E. 1975 Quantifier elimination for real closed fields by cylindrical algebraic decomposition. In Proc. 2nd GI Conf. Automata Theory and Formal Languages, pp. 134-183. (Springer LNCS 33.) Berlin, Heidelberg and New York: Springer.
8. Gaffney, T. 1983 The structure of TA(f), classification, and an application to differential geometry. In Proc. Symp. Pure Math., vol. 40, pp. 409-427. American Mathematical Society.
9. Gigus, Z. & Malik, J. 1990 Computing the aspect graph for line drawings of polyhedral objects. IEEE Trans. Pattern Analysis Machine Intell. 12, 113-122.
10. Hartman, P. & Nirenberg, L. 1959 On spherical image maps whose Jacobians do not change sign. Am. J. Math. 81, 901-920.
11. Hironaka, H. 1975 Triangulations of algebraic sets. In Proc. Symp. Pure Math., vol. 29, pp. 165-185. American Mathematical Society.
12. Kergosien, Y. L. 1981 La famille des projections orthogonales d'une surface et ses singularites. C.R. Acad. Sci. Paris Ser. I Math. 292, 929-932.
13. Kleiman, S. L. 1981 Multiple-point formulas. I. Iteration. Acta Math. 147, 13-49.
14. Koenderink, J. J. & van Doorn, A. J. 1976 The singularities of the visual mapping. Biol. Cybernet. 24, 51-59.
15. Koenderink, J. J. & van Doorn, A. J. 1979 The internal representation of solid shape with respect to vision. Biol. Cybernet. 32, 211-216.
16. Kruppa, E. 1957 Analytische und konstruktive Differentialgeometrie. Wien: Springer.
17. Lojasiewicz, S. 1964 Triangulations of semi-analytic sets. Ann. Scuola Norm. Sup. Pisa 18, 449-474.
18. ∞ mappings. I. Ann. Math. 87, 89-104.
19. ∞ mappings. III. Publ Math. IHES 35, 127-156.
20. ∞ mappings. II. Ann. Math. 89, 259-291.
21. ∞ mappings. IV. Publ. Math. IHES 37, 223-248.
22. ∞ mappings. V. Adv. Math. 4, 301-335.
23. ∞ mappings. VI. Springer LNM 192, 207-255.
24. Mather, J. N. 19716 Stable map-germs and algebraic geometry. Springer LNM 197, 176-193.
25. Mather, J. N. 1973 Generic projections. Ann. Math. 98, 226-245.
26. McCrory, C. 1980 Profiles of surfaces. Preprint, Mathematics Institute, University of Warwick, England.
27. Milnor, J. 1964 On the Betti numbers of real varieties. Proc. Am. Math. Soc. 15, 275-280.
28. Milnor, J. 1968 Singular points of complex hypersurfaces. Princeton, NJ: Princeton University Press.
29. Pedersen, P., Roy, M.-F. & Szpirglas A. 1992 Counting real zeros in the multivariate case. In Computational Algebraic Geometry, Prog. in Math. (ed. F. Eyssette & A. Galligo), vol. 109, pp. 203-224. Boston, Basel and Berlin: Birkhäuser.
30. Petitjean, S., Ponce, J. & Kriegman, D. J. 1992 Computing exact aspect graphs of curved objects: algebraic surfaces. Int. J. Comput. Vision 9(3), 231-255.
31. Rieger, J. H. 1987a On the classification of views of piecewise smooth objects. Image Vision Comput. 5, 91-97.
32. Rieger, J. H. 19876 Families of maps from the plane to the plane. J. Lond. Math. Soc. 36, 351-369.
33. Rieger, J. H. 1990 Versal tppological stratification and the bifurcation geometry of map-germs of the plane. Math. Proc. Camb. Phil. Soc. 107, 127-147.
34. Rieger, J. H. 1992 Global bifurcation sets and stable projections of non-singular algebraic surfaces. Int. J. Comput. Vision 7(3), 171-194.
35. Rieger, J. H. 1993a Computing view graphs of algebraic surfaces. J. Symbolic Computation 16(3), 259-272.
36. Rieger, J. H. 1993b Projections of generic surfaces of revolution. Geometriae Dedicata 48, 211-230.
37. Rieger, J. H. & Rohr, K. 1994 Semi-algebraic solids in 3-space: a survey of modelling schemes and implications for view graphs. Image Vision Comput. 12, 395-410.
38. Roy, M.-F. & Van Effelterre, T. 1993 Aspect graphs of algebraic surfaces. In Proc. ISSAC '93, Kiev.
39. Spivak, M. 1979 A comprehensive introduction to differential geometry, vol. III, 2nd edn. Berkeley: Publish or Perish.
40. Stoker, J. J. 1961 Developable surfaces in the large. Communs Pure Appl. Math. XIV, 627-635.
41. Tari, F. 1991 Projections of piecewise smooth surfaces. J. Lond. Math. Soc. 44, 155-172.
42. Wall, C. T. C. 1981 Finite determinacy of smooth map-germs. Bull. Lond. Math. Soc. 13, 481-539.
43. Whitney, H. 1955 On singularities of mappings of Euclidean spaces. I. Mappings of the plane into the plane. Ann. Math. 62, 374-410.