Preview
Unable to display preview. Download preview PDF.
References
A.L.Chistov, D.Yu.Grigor'ev. Solving systems of algebraic equations in subexponential time I, II. — Preprints LOMI, E-9-83, E-10-83, Leningrad, 1983.
A.L. Chistov, D.Yu. Grigor'ev. Complexity of quantifier elimination in the theory of algebraically closed fields. — Lect.Notes Comput. Sci., 1984, v.176, p.17–31.
D.Yu.Grigor'ev. Complexity of quantifier elimination in the theory of ordinary differential equations. — Proc.VIII All-Union conf. Math.Logic, Moscow, 1986, p.46 (in Russian).
D.Yu.Grigor'ev. Computational Complexity in Polynomial Algebra. — Proc.International Congress of Mathematicians, 1987, Berkeley.
D.Yu. Grigor'ev, A.L. Chistov. Fast decomposition of polynomials into irreducible ones and the solution of systems of algebraic equations. — Soviet Math.Dokl., 1984, v.29, p.380–383.
J. Heintz. Definability and fast quantifier elimination in algebraically closed fields. — Theor.Comput.Sci., 1983, v.24, p.239–278.
E.R.Kolchin. Differential algebra and algebraic groups. — Academic Press, 1973.
D. Lazard. Resolution des systemes d'equations algebriques. — Theor. Comput.Sci., 1981, v.15, p.77–110.
A. Seidenberg. An elimination theory for differential algebra. — Univ.of Calif.Press, 1956, v.3, N 2, p.31–66.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Grigor'ev, D. (1989). Complexity of quantifier elimination in the theory of ordinary differential equations. In: Davenport, J.H. (eds) Eurocal '87. EUROCAL 1987. Lecture Notes in Computer Science, vol 378. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51517-8_81
Download citation
DOI: https://doi.org/10.1007/3-540-51517-8_81
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51517-3
Online ISBN: 978-3-540-48207-9
eBook Packages: Springer Book Archive