Geometry theorem proving using Hilbert's Nullstellensatz
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
Mechanical geometry theorem proving
Mechanical geometry theorem proving
A refutational approach to geometry theorem proving
Artificial Intelligence - Special issue on geometric reasoning
Multilinear cayley factorization
Journal of Symbolic Computation
On the synthetic factorization of projectively invariant polynomials
Journal of Symbolic Computation
Automated geometry theorem proving by vector calculation
ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation
Mechanical theorem proving in geometries
Mechanical theorem proving in geometries
Clifford Algebraic Calculus for Geometric Reasoning with Application to Computer Vision
Selected Papers from the International Workshop on Automated Deduction in Geometry
Selected Papers from the International Workshop on Automated Deduction in Geometry
Some Applications of Clifford Algebra to Geometries
ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
A Clifford Algebraic Method for Geometric Reasoning
ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
Hi-index | 0.00 |
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.