Abstract
We report some of our recent progress on using Clifford bracket algebra to simplify automated geometric theorem-proving via the homogeneous model, and on systematic expansions of Clifford expressions with the purpose of finding the shortest expansions. With such simplification and expansion techniques, we are able to finish some pure geometric computation tasks that are too difficult for other algebraic methods to finish even with the aid of a good PC, and we get better results through a readable procedure.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
R. Ablamowicz. CLIFFORD, Maple package http://www.math.tntech.edu/rafal
M. Barnabei, A. Brini, G.-C. Rota. On the Exterior Calculus of Invariant Theory. J. Algebra 96: 120–160, 1985.
P. Bravi and A. Brini. Remarks on Invariant Geometric Calculus, Cayley-Grassmann Algebras and Geometric Clifford Algebras. Manuscript.
E. Caianiello. Combinatorics and Renormalization in Quantum Field Theory. Benjamin, Reading, MA, 1973.
S. C. Chou, X. S. Gao and J. Z. Zhang. Machine Proofs in Geometry. World Scientific, Singapore, 1994.
H. Crapo and J. Richter-Gebert. Automatic Proving of Geometric Theorems. In: Invariant Methods in Discrete and Computational Geometry, N. White (ed.), pp. 107–139, Kluwer Academic Publishers, 1994.
B. Fauser. A Treatise on Quantum Clifford Algebra, Univ. of Konstanz, Germany, 2002. Available at http://www.clifford.physik.uni-konstanz.de/~fauser
D. Hestenes and G. Sobczyk. Clifford Algebra to Geometric Calculus,Kluwer, Dordrecht, 1984.
B. Kutzler and S. Stifter. On the Application of Buchberger’s Algorithm to Automated Geometry Theorem Proving. J. Symbolic Computation 2: 389–398, 1986.
H. Li. New Explorations in Automated Theorem Proving in Geometries, Ph. D. dissertation, Peking Univ., Beijing, 1994.
H. Li, D. Hestenes and A. Rockwood. Generalized Homogeneous Coordinates for Computational Geometry. In Geometric Computing with Clifford Algebras, G. Sommer (ed.), pp. 27–60, Springer, Heidelberg, 2001.
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.
H. Li. Clifford Expansions and Summations. MM Research Report 21, 2002. Available at http://www.mmrc.iss.ac.cn/annal/~lil.pdf
B. Sturmfels and N. White. Gröbner Bases and Invariant Theory. Adv. Math. 76: 245–259,1989.
B. Sturmfels and W. Whiteley. On the Synthetic Factorization of Homogeneous Invariants. J. Symbolic Computation 11: 439–454, 1991.
D. Wang. Geometric reasoning with geometric algebra. In: Geometric Algebra with Applications in Science and Engineering, E. Bayro-Corrochano et al (eds), pp. 89–109, Birkhauser, Boston, 2001.
N. White. The Bracket Ring of Combinatorial Geometry I. Trans. Amer. Math. Soc 202: 79–103, 1975.
W. T. Wu. Basic Principles of Mechanical Theorem Proving in Geometries,Volume I: Part of Elementary Geometries. Science Press, Beijing 1984; Springer 1994.
I. Yaglom. Felix Klein and Sophus Lie, Birkhauser, Boston, Basel, 1988.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer Basel AG
About this chapter
Cite this chapter
Li, H. (2004). Automated Geometric Theorem Proving, Clifford Bracket Algebra and Clifford Expansions. In: Qian, T., Hempfling, T., McIntosh, A., Sommen, F. (eds) Advances in Analysis and Geometry. Trends in Mathematics. Birkhäuser, Basel. https://doi.org/10.1007/978-3-0348-7838-8_17
Download citation
DOI: https://doi.org/10.1007/978-3-0348-7838-8_17
Publisher Name: Birkhäuser, Basel
Print ISBN: 978-3-0348-9589-7
Online ISBN: 978-3-0348-7838-8
eBook Packages: Springer Book Archive