An application of automatic theorem proving in computer vision

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1669, Issue , 1999, Pages 207-232

  Bondyfalat, Didier ^a   Mourrain, Bernard ^a   Papadopoulo, Théodore ^a  

^a INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

3D MODELING; COMPUTER VISION; GEOMETRY; THEOREM PROVING;

AUTOMATIC METHOD; AUTOMATIC THEOREM PROVING; BRACKET ALGEBRA; CHARACTERISTIC SET; GENERIC POLYNOMIALS; GEOMETRIC TOOLS; GEOMETRICAL CONFIGURATIONS; GEOMETRICAL PROPERTY;

COMPUTER AIDED DESIGN;

EID: 84947930091     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-47997-x_11     Document Type: Conference Paper

References (26)

1. D. Bondyfalat and S. Bougnoux. Imposing Euclidean Constraints during Self-Calibration Processes. In Proc. ECCV98 Workshop SMILE, 1998.
2. S. Bougnoux. From Projective to Euclidean Space under any Practical Situation, a Criticism of Self-Calibration. In Proc. of the 6th International Conference on Computer Vision, pages 790–796, Bombay, India, Jan. 1998, IEEE Computer Society Press.
3. S.-C. Chou. Mechanical Geometry Theorem Proving. Reidel, Dordrecht Boston, 1988.
4. S.-C. Chou and X.-S. Gao. Ritt-Wu’s Decomposition Algorithm and Geometry Theorem Proving. In Proc. CADE-10, pages 202–220, Kaiserslautern, Germany, 1990.
5. S.-C. Chou, X.-S. Gao, and J.-Z. Zhang. Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Problems, volume 6 of Series on Applied Mathematics. World Scientific, 1994.
6. S.-C. Chou, W. F. Schelter, and J.-G. Yang. Characteristic Sets and Gröbner Bases in Geometry Theorem Proving. In Resolution of Equations in Algebraic Structures, pages 33–92. Academic Press, 1989.
7. H. Crapo and J. Richter-Gebert. Automatic Proving of Geometric Theorems. In Invariant Methods in Discrete and Computational Geometry, pages 167–196, 1995.
8. A. Crumeyrolle. Orthogonal and Simplectic Clifford Algebra. Kluwer Academic Plublishers, 1990.
9. P. E. Debevec, C. J. Taylor, and J. Malik. Modeling and Rendering Architecture from Photographs: A Hybrid Geometry-and Image-Based Approach. In Proc. SIGGRAPH, pages 11–20, New Orleans, Aug. 1996.
10. O. Faugeras. Three-Dimensional Computer Vision: A Geometric Viewpoint. MIT Press, 1993.
11. T. Havel. Some Examples of the Use of Distances as Coordinates for Euclidean Geometry. Journal of Symbolic Computation, 11: 579–593, 1991.
12. D. Kapur and J. L. Mundy, editors. Geometric Reasoning. MIT Press, Cambridge, 1989.
13. D. Kapur and J. L. Mundy. Wu’s Method and its Application to Perspective Viewing. In Geometric Reasoning [12], pages 15–36.
14. B. Mourrain. Approche Effective de la Théorie des Invariants des Groupes Classiques. PhD thesis, Ecole Polytechnique, Sept. 1991.
15. B. Mourrain. Géométrie et Interprétation Générique; un Algorithme. In Effective Methods in Algebraic Geometry(M EGA’90), volume 94 of Progress in Math., pages 363–377, Castiglioncello (Italy), 1991. Birkhäuser.
16. P. Poulin, M. Ouimet, and M.-C. Frasson. Interactively Modeling withPh otogrammetry. In Proc. of Eurographics Workshop on Rendering 98, pages 93–104, June 1998.
17. J. Richter-Gebert. Mechanical Theorem Proving in Projective Geometry. Annals of Mathematics and Artificial Intelligence, 13: 139–172, 1995.
18. S. Stifter. Geometry Theorem Proving in Vector Spaces by Means of Gröbner Bases. In M. Bronstein, editor, Proc. ISSAC’93, ACM Press, pages 301–310, Jul. 1993.
19. D. Wang. CharSets 2.0 — A Package for Decomposing Polynomial Systems. Preprint, LEIBNIZ–Institut IMAG, Feb. 1996.
20. D. Wang. Zero Decomposition for Theorem Proving in Geometry. In Proc. IMACS International Conference on Applications of Computer Algebra, Albuquerque, USA, May 1995.
21. D. Wang. Geometry Machines: From AI to SMC. In Proc. AISMC-3, volume 1138 of LNCS, pages 213–239, 1996.
22. D. Wang. Clifford Algebraic Calculus for Geometric Reasoning with Application to Computer Vision, volume 1360 of Springer’s LNAI, pages 115–140. Springer, 1997.
23. D. Wang. Gröbner Bases Applied to Geometric Theorem Proving and Discovering. In B. Buchberger and F. Winkler, editors, Gröbner Bases and Applications, pages 281–301. Cambridge Univ. Press, 1998.
24. N. White. Multilinear Cayley Factorization. Journal of Symbolic Computation, 11(5 & 6): 421–438, May/June 1991.
25. W.-T Wu. Basic Principles of Mechanical Theorem Proving in Elementary Geometries. J. Automated Reasoning, 2: 221–252, 1986.
26. W.-T Wu. Mechanical Theorem Proving in Geometries: Basic Principles (translated from Chinese by X. Jin and D. Wang). Texts and Monographie in Symbolic Computation. Springer, 1994.