Wu's method and its application to perspective viewing
From MaRDI portal
Publication:1115642
DOI10.1016/0004-3702(88)90048-3zbMath0664.68102OpenAlexW2013727939MaRDI QIDQ1115642
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
Related Items (15)
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
- 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
This page was built for publication: Wu's method and its application to perspective viewing
