Geometric reasoning and artificial intelligence: Introduction to the special volume
- 1 December 1988
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 37 (1-3) , 1-11
- https://doi.org/10.1016/0004-3702(88)90047-1
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- Using Gröbner bases to reason about geometry problemsJournal of Symbolic Computation, 1986
- On the application of Buchberger's algorithm to automated geometry theorem provingJournal of Symbolic Computation, 1986
- Proving geometry theorems with rewrite rulesJournal of Automated Reasoning, 1986
- Cylindrical Algebraic Decomposition II: An Adjacency Algorithm for the PlaneSIAM Journal on Computing, 1984
- Cylindrical Algebraic Decomposition I: The Basic AlgorithmSIAM Journal on Computing, 1984
- Inferring surfaces from imagesArtificial Intelligence, 1981
- Symbolic reasoning among 3-D models and 2-D imagesArtificial Intelligence, 1981
- Plane geometry theorem proving using forward chainingArtificial Intelligence, 1975
- Strips: A new approach to the application of theorem proving to problem solvingArtificial Intelligence, 1971
- Intelligent Behavior in Problem-Solving MachinesIBM Journal of Research and Development, 1958