Clifford term rewriting for geometric reasoning in 3D

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

Volumn 1669, Issue , 1999, Pages 130-136

  De La Tour, Thierry Boy ^a   Fèvre, Stéphane ^a   Wang, Dongming ^a  

^a Institut IMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; THEOREM PROVING;

CLIFFORD; CLIFFORD ALGEBRA; GEOMETRIC PROBLEMS; GEOMETRIC REASONING; KEY ISSUES; REWRITING SYSTEMS; TERM REWRITING; TERM REWRITING TECHNIQUES;

GEOMETRY;

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

References (13)

1. Ablamowicz, R., Lounesto, P., Parra, J. M.: Clifford algebras with numeric and symbolic computations. Birkhäuser, Boston (1996).
2. Chou, S.-C., Gao, X.-S., Zhang, J.-Z.: Automated production of traditional proofs for theorems in Euclidian geometry-II. The volume method. Tech. Rep. WSUCS-92-5, Department of Computer Science, Wichita State University, USA (1992).
3. Chou, S.-C., Gao, X.-S., Zhang, J.-Z.: Machine proofs in geometry. World Scientific, Singapore (1995).
4. Dershowitz, N., Jouannaud, J.-P.: Rewrite systems. In: Handbook of theoretical computer science, vol. B (J. van Leeuwen, ed.), Elsevier, Amsterdam, pp. 243–320 (1990).
5. Fèvre, S., Wang, D.: Proving geometric theorems using Clifford algebra and rewrite rules. In: Proc. CADE-15 (Lindau, Germany, July 5–10, 1998), LNAI 1421, Springer, Berlin Heidelberg, pp. 17–32.
6. Fèvre, S., Wang, D.: Combining algebraic computing and term-rewriting for geometry theorem proving. In: Proc. AISC’98 (Plattsburgh, USA, September 16–18, 1998), LNAI 1476, Springer, Berlin Heidelberg, pp. 145–156.
7. Li, H.: Vectorial equations-solving for mechanical geometry theorem proving. J. Automat. Reason. (to appear).
8. Li, H., Cheng, M.-T.: Proving theorems in elementary geometry with Clifford algebraic method. Adv. Math. (Beijing) 26: 357–371 (1997).
9. Maybank, S. J.: Applications of algebraic geometry to computer vision. In: Computational algebraic geometry (F. Eyssette and A. Galligo, eds.), Birkhäuser, Boston, pp. 185–194 (1993).
10. Wang, D.: Geometry machines: From AI to SMC. In: Proc. AISMC-3 (Steyr, Austria, September 23–25, 1996), LNCS 1138, Springer, Berlin Heidelberg, pp. 213–239.
11. Wang, D.: Clifford algebraic calculus for geometric reasoning with application to computer vision. In: Automated deduction in geometry (D. Wang, ed.), LNAI 1360, Springer, Berlin Heidelberg, pp. 115–140 (1997).
12. Wu, W.-t.: Mechanical theorem proving in geometries: Basic principles. Springer, Wien New York (1994).
13. Yang, H., Zhang, S., Feng, G.: Clifford algebra and mechanical geometry theorem proving. In: Proc. 3rd ASCM (Lanzhou, China, August 6–8, 1998), Lanzhou Univ. Press, Lanzhou, pp. 49–63.