Wu's method and its application to perspective viewing

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

Deepak Kapur, Joseph L. Mundy

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 equations; automatic theorem proving; plane geometry; perspective viewing

Mathematics Subject Classification ID

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

Related Items

Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems, A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry, A bridge between dynamic geometry and computer algebra, Geometric reasoning with logic and algebra, A multi-level geometric reasoning system for vision, Application of Gröbner bases to problems of movement of a particle, Geometric theorem proving by integrated logical and algebraic reasoning, A software tool for the investigation of plane loci

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item