On mechanical quantifier elimination for elementary algebra and geometry: Solution of a nontrivial problem

  • Dennis S. Arnon
Algebraic Algorithms III
Part of the Lecture Notes in Computer Science book series (LNCS, volume 204)


  1. [ACM84a]
    D. S. Arnon, G. E. Collins and S. McCallum, Cylindrical algebraic decomposition I: The basic algorithm, SIAM J. Comp, 13, (1984), pp. 865–877.Google Scholar
  2. [COL75]
    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.Google Scholar
  3. [COL82]
    — —, 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.Google Scholar
  4. [DEL83]
    C. Delzell, Private communication, 1983.Google Scholar
  5. [DEL84]
    — —, A continuous, constructive solution to Hilbert's 17th problem, Invent. math., 76, (1984), pp. 365–384.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • Dennis S. Arnon
    • 1
  1. 1.Xerox PARCPalo Alto

Personalised recommendations