Journal article
A complex change of variables for geometrical reasoning
Automated Deduction in Geometry, Vol.2061, pp.143-153
2001
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.
Details
- Title
- A complex change of variables for geometrical reasoning
- Authors/Creators
- T. Stokes (Author/Creator) - Murdoch UniversityM. Bulmer (Author/Creator) - The University of Queensland
- Publication Details
- Automated Deduction in Geometry, Vol.2061, pp.143-153
- Publisher
- Springer Verlag
- Identifiers
- 991005544224907891
- Copyright
- 2001 Springer-Verlag Berlin Heidelberg
- Murdoch Affiliation
- School of Chemical and Mathematical Science
- Language
- English
- Resource Type
- Journal article
Metrics
37 Record Views