Symbolic computation in the homogeneous geometric model with clifford algebra

Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC

Volumn , Issue , 2004, Pages 221-225

  Li, Hongbo ^a  

^a CHINESE ACADEMY OF SCIENCES   (China)

Author keywords

Automated theorem proving; Clifford algebra; Geometric algebra; Homogeneous model; Symbolic computation

Indexed keywords

COMPUTATIONAL METHODS; MATHEMATICAL MODELS; THEOREM PROVING;

AUTOMATED THEOREM PROVING; CLIFFORD ALGEBRA; GEOMETRIC ALGEBRA; HOMOGENEOUS MODELS; SYMBOLIC COMPUTATION;

LINEAR ALGEBRA;

EID: 25144482762     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1005285.1005318     Document Type: Conference Paper

References (17)

1. P. Bravi, A. Brini. Remarks on Invariant Geometric Calculus, Cayley-Grassmann Algebras and Geometric Clifford Algebras. In: Alg. Combinatorics and Computer Sci., H. Crapo and D. Senato (eds.), pp. 129-150, Springer, Milano, 2001.
2. E. Caianiello. Combinatorics and Renormalization in Quantum Field Theory. Benjamin, Reading, 1973.
3. S. C. Chou. Mechanical Geometry Theorem Proving. D. Reidel, Dordrecht, 1988,
4. S. C. Chou, X. S. Gao, J. Z. Zhang. Machine Proofs in Geometry. World Scientific, Singapore, 1994.
5. H. Crapo, J. Richter-Gebert. Automatic Proving of Geometric Theorems. In: Inv. Methods in Discrete and Computat. Geom., N. White (ed.), pp. 107-139, Kluwer, Dordrecht, 1994.
6. T. Havel. Some Examples of the Use of Distances as Coordinates for Euclidean Geometry. J. Symb. Comput. 11: 579-593, 1991.
7. D. Hestenes, G. Sobczyk. Clifford Algebra to Geometric Calculus, Kluwer, Dordrecht, 1984.
8. D. Hestenes. The Design of Linear Algebra and Geometry. Acta Appl Math. 23: 65-93, 1991.
9. A. Lasenby. Keynote Address at SIGGRAPH 2003 Meeting.
10. H. Li, D. Hestenes, A. Rockwood. Generalized Homogeneous Coordinates for Computational Geometry. In: Geometric Computing with Clifford Algebras, G. Sommer (ed.), pp. 27-60, Springer, Heidelberg, 2001.
11. H. Li. Automated Theorem Proving in the Homogeneous Model with Clifford Bracket Algebra. In: Applications of Geometric Algebra in Computer Science and Engineering, L. Dorst et al. (eds.), pp. 69-78, Birkhauser, Boston, 2002.
12. H. Li. Clifford Expansions and Summations. MM Research Preprints 21: 112-154, 2002.
13. H. Li. Automated Geometry Theorem Proving, Clifford Bracket Algebra and Clifford Expansions. In: Trends in Mathematics: Advances in Analysis and Geometry, T. Qian et al. (eds.), Birkhauser, Basel, pp. 1-18, 2003.
14. H. Li, Y. Wu. Automated Short Proof Generation in Protective Geometry with Cayley and Bracket Algebras I. Incidence Geometry. J. Symb. Comput. 36(5): 717-762, 2003.
15. H. Li, Y. Wu. Automated Short Proof Generation in Projective Geometry with Cayley and Bracket Algebras II. Conic Geometry. J. Symb. Comput. 36(5): 763-809, 2003.
16. B. Sturmfels. Algorithms in Invariant Theory. Springer, Wien, 1993.
17. D. Wang. Bibliography on Geometric Reasoning. Available at http://www-calfor.lip6.fr/~wang/GRBib.