Wu's method and its application to perspective viewing

DOI10.1016/0004-3702(88)90048-3zbMath0664.68102OpenAlexW2013727939MaRDI QIDQ1115642

Joseph L. Mundy, Deepak Kapur

Publication date: 1988

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(88)90048-3

zbMATH Keywords

polynomial equationsautomatic theorem provingplane geometryperspective viewing

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to geometry (51-04)

Related Items

On protocols for the automated discovery of theorems in elementary geometry, A Groebner bases-based approach to backward reasoning in rule based expert systems, A multi-level geometric reasoning system for vision, A bridge between dynamic geometry and computer algebra, Automatic deduction in (dynamic) geometry: Loci computation, Resultant elimination via implicit equation interpolation, Geometric reasoning with logic and algebra, Connecting the 3D DGS Calques3D with the CAS Maple, An algebraic approach to rule based expert systems, Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems, A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry, Geometric theorem proving by integrated logical and algebraic reasoning, A software tool for the investigation of plane loci, Development of automatic reasoning tools in GeoGebra, Application of Gröbner bases to problems of movement of a particle

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the application of Buchberger's algorithm to automated geometry theorem proving
• Automated reasoning in geometry theorem proving with Prolog
• Proving geometry theorems with rewrite rules
• Basic principles of mechanical theorem proving in elementary geometries
• Automated Theorem Proving: After 25 Years
• Gradient space under orthography and perspective
• Cylindrical Algebraic Decomposition I: The Basic Algorithm