Wu's method and its application to perspective viewing

Artificial Intelligence

Volumn 37, Issue 1-3, 1988, Pages 15-36

  Kapur, Deepak ^a   Mundy, Joseph L ^a  

^a GENERAL ELECTRIC COMPANY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; IMAGE PROCESSING--IMAGE ANALYSIS; MATHEMATICAL TECHNIQUES--GEOMETRY;

ALGEBRAIC METHOD; GEOMETRY THEOREMS; IMAGE UNDERSTANDING; PERSPECTIVE VIEWING;

AUTOMATA THEORY;

EID: 0024125208     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/0004-3702(88)90048-3     Document Type: Article

References (24)

1. Cylindrical algebraic decomposition I: The basic algorithm; II: An adjacency algorithm for the plane
2. Cylindrical algebraic decomposition I: The basic algorithm; II: An adjacency algorithm for the plane
3. Proving elementary geometry theorems using Wu's algorithm
4. Proving and discovering theorems in elementary geometry using Wu's method
5. Proving geometry theorems with rewrite rules
6. Automated reasoning in geometry theorem proving with PROLOG
7. Reasoning about three dimensional space
8. Geometry theorem proving using Hilbert's Nullstellensatz
9. A study of Wu's method—A method to prove certain theorems in elementary geometry
10. ALGE-prover: An algebraic geometry theorem proving software
11. Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the Ritt-Wu principle
12. Automated geometry theorem proving using Buchberger's algorithm
13. Image understanding research at General Electric
14. Gradient space under orthography and perspective
15. Experiments in using a geometry theorem prover to prove and develop theorems in computer vision
16. On the decision problem and the mechanization of theorem proving in elementary geometry
17. Theorem Proving After 25 Years
18. Some recent advances in mechanical theorem proving of geometries
19. Basic principles of mechanical theorem proving in geometries
20. Basic principles of mechanical theorem proving in elementary geometries