Betti numbers of semialgebraic sets defined by quantifier-free formulae

Discrete and Computational Geometry

Volumn 33, Issue 3, 2005, Pages 395-401

  Gabrielov, Andrei ^a   Vorobjov, Nicolai ^b  

^a PURDUE UNIVERSITY   (United States)

^b University of Bath   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 21244490537     PISSN: 01795376     EISSN: 14320444     Source Type: Journal    
DOI: 10.1007/s00454-004-1105-7     Document Type: Article

References (14)

1. S. Basu, On bounding the Betti numbers and computing the Euler characteristic of semi-algebraic sets, Discrete Comput. Geom. 22 (1999), 1-18.
2. S. Basu, R. Pollack, and M.-E Roy, Algorithms in Real Algebraic Geometry, Springer-Verlag, Berlin, 2003.
3. M. Coste, An Introduction to o-Minimal Geometry, Dip. Mat. Univ. Pisa, Dottorato di Ricerca in Matematica, Istituti Editoriale e Poligrafici Internazionali, Pisa, 2000.
4. D. Grigoriev, Complexity of deciding Tarski algebra, J. Symbolic Comput. 5 (1988), 65-108.
5. J. Heintz, Definability and fast quantifier elimination in algebraically closed fields, Theoret. Comput. Sci. 24 (1983), 239-277.
6. J. Milnor, On the Betti numbers of real varieties, Proc. Amer. Math. Soc. 15 (1964), 275-280.
7. J. L. Montaña, J. E. Morais, and L. M. Pardo, Lower bounds for arithmetic networks, II: sum of Betti numbers, Appl. Algebra Engrg. Comm. Comput. 7 (1996), 41-51.
8. O. A. Oleinik, Estimates of the Betti numbers of real algebraic hypersurfaces (Russian), Mat. Sb. 28 (1951), 635-640.
9. O. A. Oleinik and I. G. Petrovskii, On the topology of real algebraic hypersurfaces (Russian), Izv. Acad. Nauk SSSR 13 (1949), 389-402.
10. English transl.: Amer. Math. Soc. Transl. 7 (1962) 399-417.
11. V. A. Rokhlin and D. B. Fuks, Beginners Course in Topology. Geometric Chapters, Springer-Verlag, New York, 1984.
12. E. Spanier, Algebraic Topology, Springer-Verlag, New York, 1981.
13. R. Thom, Sur l'homologie des variétés algebriques réelles, in: S. S. Cairns (ed.), Differential and Combinatorial Topology, pp. 255-265, Princeton University Press, Princeton, NJ, 1965.
14. A. C. C. Yao, Decision tree complexity and Betti numbers, in: Proc. of 26th ACM Symp. on Theory of Computing, Montreal, Canada, pp. 615-624, ACM Press, New York, 1994.