Polynomial-time computation of the dimensions of components of algebraic varieties in zero-characteristic

Journal of Pure and Applied Algebra

Volumn 117-118, Issue , 1997, Pages 145-175

  Chistov, Alexander L ^a  

^a ST PETERSBURG INSTITUTE FOR INFORMATICS AND AUTOMATION   (Russian Federation)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031139053     PISSN: 00224049     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0022-4049(97)00009-1     Document Type: Article

References (15)

1. J. Bochnak, M. Coste and M.-F. Roy, Géométrie Algébrique Réelle (Springer, Berlin, 1987).
2. N. Bourbaki, Algèbre Commutative, Chaps. 1-7 (Actualités Sci. Indust., Nos. 1290, 1293, 1308, 1314, Paris 1961, 1964, 1965).
3. A.L. Chistov, Polynomial-time computation of the dimension of algebraic varieties in zero-characteristic, J. Symbol. Comput. 22 (1) (1996) 1-25.
4. A.L. Chistov, Polynomial-time computation of the dimension of algebraic varieties in zero-characteristic, Research Report No. 8597-CS, Institut für Informatik der Universität Bonn (1993) 23 p.
5. A.L. Chistov, Polynomial-time computation of the dimension of affine algebraic varieties in zero-characteristic, Research Report No. 85112-CS, Institut für Informatik der Universität Bonn (1994) 24 p.
6. A.L. Chistov, Polynomial complexity algorithm for factoring polynomials and constructing components of a variety in subexponential time, Zap. Nauchn. Semin. Leningrad. Otdel. Mat. Inst. Steklov (LOMI) 137 (1984) 124-188 (in Russian) [English transl.: J. Sov. Math. 34 (4) (1986)].
7. A.L. Chistov. Polynomial complexity of the Newton-Puiseux algorithm, in: Lecture Notes in Computer Science, Vol. 233 (Springer, New York, 1986) 247-255.
8. A.L. Chistov, Polynomial complexity algorithms for computational problems in the theory of algebraic curves, Zap. Nauchn. Semin. Leningrad. Otdel. Mat. Inst. Steklov (LOMI) 176 (1989) 124-188 (in Russian) [English transl. in: J. Sov. Math.].
9. M. Giusti and J. Heintz, La détermination des points isolés et de la dimension d'une variété algébrique peut se faire en temps polynomial, preprint, Ecole Polytechnique, France et Univesidad de Buenos Aires, Argentina (1991).
10. M. Giusti and J. Heintz, La détermination des points isolés et de la dimension d'une variété algébrique peut se faire en temps polynomial, Proc. Int. Meeting on Commutative Algebra, Cortona (1991).
11. R. Hartshorne, Algebraic Geometry (Springer, New York, 1977).
12. D. Lazard, Résolution des systèmes d'équations algébrique, Theoret. Comput. Sci. 15 (1981) 77-110.
13. D. Mumford, Algebraic Geometry 1. Complex Projective Varieties (Springer, Berlin, 1976).
14. J. Milnor, On Betti numbers of real varieties, Proc. Amer. Math. Soc. 15 (2) (1964) 275-280.
15. J. Renegar, A faster PSPACE algorithm for deciding the existential theory of reals, Proc. 29th Annu. Symp. on Foundations of Computer Sci. (1988) 291-295.