Wu's method and its application to perspective viewing
- 31 December 1988
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 37 (1-3), 15-36
- https://doi.org/10.1016/0004-3702(88)90048-3
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Automated reasoning in geometry theorem proving with PrologJournal of Automated Reasoning, 1986
- Proving geometry theorems with rewrite rulesJournal of Automated Reasoning, 1986
- Basic principles of mechanical theorem proving in elementary geometriesJournal 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
- Gradient space under orthography and perspectiveComputer Vision, Graphics, and Image Processing, 1983