On mechanical quantifier elimination for elementary algebra and geometry
- 30 April 1988
- journal article
- Published by Elsevier in Journal of Symbolic Computation
- Vol. 5 (1-2), 237-259
- https://doi.org/10.1016/s0747-7171(88)80014-2
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Geometric reasoning with logic and algebraArtificial Intelligence, 1988
- Quantifier elimination: Optimal solution for two classical examplesJournal of Symbolic Computation, 1988
- An improved projection operation for cylindrical algebraic decomposition of three-dimensional spaceJournal of Symbolic Computation, 1988
- On mechanical quantifier elimination for elementary algebra and geometry: Solution of a nontrivial problemLecture Notes in Computer Science, 1985
- Cylindrical Algebraic Decomposition I: The Basic AlgorithmSIAM Journal on Computing, 1984
- A continuous, constructive solution to Hilbert's 17th problemInventiones Mathematicae, 1984
- Towards mechanical solution of the Kahan ellipse problem ILecture Notes in Computer Science, 1983
- A solution to Kahan's problem (SIGSAM problem no. 9)ACM SIGSAM Bulletin, 1977
- Problem #9ACM SIGSAM Bulletin, 1975