Clifford algebraic calculus for geometric reasoning with application to computer vision

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

Volumn 1360, Issue , 1997, Pages 115-140

  Wang, Dongming ^a  

^a INPG IMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; AUTOMATION; CALCULATIONS; COMPUTATION THEORY; COMPUTER VISION; GEOMETRY;

APPLICATION EXAMPLES; AUTOMATED THEOREM PROVING; CLIFFORD ALGEBRA; EUCLIDEAN GEOMETRY; GEOMETRIC OBJECTS; GEOMETRIC REASONING; GEOMETRIC THEOREM PROVING; ITS APPLICATIONS;

THEOREM PROVING;

EID: 84957043074     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (20)

1. Chou, S.-C., Gao, X.-S., Zhang, J.-Z.: Automated production of traditional proofs for constructive geometry theorems. In: Proc. 8th IEEE Syrup. LICS (Montreal, June 19-23, 1993), pp. 48-56.
2. Chou, S.-C., Gao, X.-S., Zhang, J.-Z.: Automated geometry theorem proving by vector calculation. In: Proc. ISSAC '93 (Kiev, July 6-8, 1993), pp. 284-291.
3. Chou, S.-C., Gao, X.-S., Zhang, J.-Z.: Machine proofs in geometry. World Scientific, Singapore (1994).
4. Deguchi, K.: An algebraic framework for fusing geometric constraints of vision and range sensor data. In: Proc. IEEE Int. Conf. MFI '94 (Las Vegas, October 2-5, 1994), pp. 329-336.
5. Havel, T. F.: Some examples of the use of distances as coordinates for Euclidean geometry. J. Symb. Comput. 11:579-593 (1991).
6. Hestenes, D.: New foundations for classical mechanics. D. Reidel, Dordrecht Boston Lancaster Tokyo (1987).
7. Hestenes, D., Sobczyk, G.: Clifford algebra to geometric calculus. D. Reidel, Dordrecht Boston Lancaster Tokyo (1984).
8. Kandri-Rody, A., Weispfenning, V.: Non-comrnutative Gröbner bases in algebras of solvable type. J. Symb. Comput. 9:1-26 (1990).
9. Kapur, D., Mundy, J. L.: Wu's method and its application to perspective viewing. Artif. Intell. 37:15-26 (1988).
10. Li, H.: New explorations on mechanical theorem proving of geometries. Ph.D thesis, Beijing University, China (1994).
11. Li, H.: Clifford algebra and area method. Math. Mech. Res. Preprints 14:37-69 (1996).
12. Li, H., Cheng, M.-t.: Proving theorems in elementary geometry with Clifford algebraic method. Preprint, MMRC, Academia Sinica, China (1995).
13. Richter-Gebert, J.: MechanicM theorem proving in projective geometry. Ann. Math. Artif. Intell. 13:139-172 (1995).
14. Stifter, S.: Geometry theorem proving in vector spaces by means of Grgbner bases. In: Proc. ISSAC '93 (Kiev, July 6-8, 1993), pp. 301-310.
15. van der Waerden, B. L.: Algebra, vol. II. Springer, Berlin Heidelberg (1959).
16. Wang, D.: On Wu's method for proving constructive geometric theorems. In: Proc. IJCAI '89 (Detroit, August 20-25, 1989), pp. 419-424.
17. Wang, D.: Geometry machines: From AI to SMC. In: Proc. AISMC-3 (Steyr, September 23-25, 1996), LNCS 1138, pp. 213-239.
18. Wong, R.: Construction heuristics for geometry and a vector algebra representation of geometry. Tech. Memo. 28, Project MAC, MIT, Cambridge, USA (1972).
19. Wu, W.-t.: Toward mechanization of geometry--Some comments on Hilbert's "Grundlagen der Geometric". Acta Math. Scientia 2:125-138 (1982).
20. Wu, W.-t.: Mechanical theorem proving in geometries: Basic principles. Springer, Wien New York (1994).