Geometric reasoning with logic and algebra
- 31 December 1988
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 37 (1-3), 37-60
- https://doi.org/10.1016/0004-3702(88)90049-5
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- A refutational approach to geometry theorem provingArtificial Intelligence, 1988
- Wu's method and its application to perspective viewingArtificial Intelligence, 1988
- On mechanical quantifier elimination for elementary algebra and geometryJournal of Symbolic Computation, 1988
- Cylindrical Algebraic Decomposition I: The Basic AlgorithmSIAM Journal on Computing, 1984
- A continuous, constructive solution to Hilbert's 17th problemInventiones Mathematicae, 1984
- Topologically reliable display of algebraic curvesACM SIGGRAPH Computer Graphics, 1983
- Real Zeros of PolynomialsPublished by Springer Nature ,1982
- Quantifier Elimination for Real Closed Fields: A Guide to the LiteratureComputing Supplementum, 1982
- Problem #9ACM SIGSAM Bulletin, 1975
- Decision procedures for real and p‐adic fieldsCommunications on Pure and Applied Mathematics, 1969