This is a preview of subscription content, log in via an institution to check access.
References
D. S. Arnon, G. E. Collins and S. McCallum, Cylindrical algebraic decomposition I: The basic algorithm, SIAM J. Comp, 13, (1984), pp. 865–877.
G. E. Collins, Quantifier elimination for real closed fields by cylindrical algebraic decomposition, in Second GI Conference on Automata Theory and Formal Languages, vol. 33 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1975, pp 134–183.
— —, Quantifier elimination for real closed fields: a guide to the literature, in Computing, Supplementum 4: Computer Algebra-Symbolic and Algebraic Computation, Springer-Verlag, Vienna and New York, 1982.
C. Delzell, Private communication, 1983.
— —, A continuous, constructive solution to Hilbert's 17th problem, Invent. math., 76, (1984), pp. 365–384.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Arnon, D.S. (1985). On mechanical quantifier elimination for elementary algebra and geometry: Solution of a nontrivial problem. In: Caviness, B.F. (eds) EUROCAL '85. EUROCAL 1985. Lecture Notes in Computer Science, vol 204. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-15984-3_274
Download citation
DOI: https://doi.org/10.1007/3-540-15984-3_274
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15984-1
Online ISBN: 978-3-540-39685-7
eBook Packages: Springer Book Archive