Abstract
We use complex vectors in geometrical reasoning, specifically automated theorem proving. The calculations are embedded in Clifford algebras, but commutative polynomial techniques can be used. Using the Gröbner basis package in the computer algebra package Maple, this approach is shown to have efficiency benefits in situations where distance and angle relations amongst geometrical entities predominate.
Acknowledgements
We thank the anonymous referees of the first draft of this paper for their helpful suggestions. We would also like to thank Desmond Fearnley-Sander for introducing us to the concept of automated theorem proving in geometry and many discussions over the years on that topic.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Buchberger, B., Gröbner Bases: An Algorithmic Method in Polynomial Ideal Theory, Multidimensional Systems Theory (ed. N. K. Bose), D. Reidel, 184–232 (1985).
Chou, S.-C., Mechanical Geometry Theorem Proving, D. Reidel (1988).
Chou, S.-C., Gao, X.-S. and Zhang, J.-Z., Automated Geometry Theorem Proving Using Vector Calculation, Proc. ISSAC’ 93, Kiev, 284–291 (1993).
Chou, S.-C., Gao, X.-S. and Zhang, J.-Z., Automated Production of Traditional Proofs for Constructive Geometry Theorems, Proc. 8th IEEE Symbolic Logic in Computer Science, Montreal, 48–56 (1993).
Chou, S.-C., Gao, X.-S. and Zhang, J.-Z., Automated Production of Traditional Proofs in Solid Geometry, J. Automated Reasoning 14, 257–291 (1995).
Cox, D., Little, J. and O’Shea, D., Ideals, Varieties and Algorithms-An Introduction to Computational Algebraic Geometry and Commutative Algebra, Undergraduate Texts in Mathematics, Springer-Verlag (1992).
Fearnley-Sander, D., Plane Euclidean Reasoning, Automated Deduction in Geometry (eds. X.-S. Gao, D. Wang, L. Yang), Lecture Notes in Artificial Intelligence 1669, Springer-Verlag, 86–110 (1999).
Fearnley-Sander, D. and Stokes, T., Area in Grassmann Geometry, Automated Deduction in Geometry (ed. D. Wang), Lecture Notes in Artificial Intelligence, Springer-Verlag, 141–170 (1997).
Kapur, D., Geometry Theorem Proving Using Hilbert’s Nullstellensatz, Proc. SYMSAC’ 86, Waterloo, 202–208 (1986).
Kapur, D., A Refutational Approach to Theorem Proving in Geometry, Artificial Intelligence 37, 61–93 (1988).
Li, H., Some Applications of Clifford Algebras to Geometries, Automated Deduction in Geometry (eds. X.-S. Gao, D. Wang, L. Yang), Lecture Notes in Artificial Intelligence 1669, Springer-Verlag, 156–179 (1999).
Sturmfels, B. and Whiteley, W., On the Synthetic Factorization of Projectively Invariant Polynomials, J. Symbolic Computation 11, 439–453 (1991).
Wang, D., Clifford Algebraic Calculus for Geometric Reasoning with Application to Computer Vision, Automated Deduction in Geometry (ed. D. Wang), Lecture Notes in Artificial Intelligence 1360, Springer-Verlag, 115–140 (1997).
White, N. L., Multilinear Cayley Factorization, J. Symbolic Computation 11, 421–438 (1991).
Wu, W.-t., On the Decision Problem and the Mechanization of Theorem Proving in Elementary Geometry, Scientia Sinica 21, 157–179 (1978).
Wu, W.-t., Mechanical Theorem Proving in Geometries: Basic Principles, Springer-Verlag (1994).
Yang H., Zhang, S. and Feng, G., A Clifford Algebraic Method for Geometric Reasoning, Automated Deduction in Geometry (eds. X.-S. Gao, D. Wang, L. Yang), Lecture Notes in Artificial Intelligence 1669, Springer-Verlag, 111–129 (1999).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Stokes, T., Bulmer, M. (2001). A Complex Change of Variables for Geometrical Reasoning. In: Richter-Gebert, J., Wang, D. (eds) Automated Deduction in Geometry. ADG 2000. Lecture Notes in Computer Science(), vol 2061. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45410-1_9
Download citation
DOI: https://doi.org/10.1007/3-540-45410-1_9
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42598-4
Online ISBN: 978-3-540-45410-6
eBook Packages: Springer Book Archive