Handbook of theoretical computer science (vol. B)
Mechanical theorem proving in geometries
Mechanical theorem proving in geometries
Clifford algebras with numeric and symbolic computations
Clifford algebras with numeric and symbolic computations
Vectorial Equations Solving for Mechanical Geometry Theorem Proving
Journal of Automated Reasoning
Clifford Algebraic Calculus for Geometric Reasoning with Application to Computer Vision
Selected Papers from the International Workshop on Automated Deduction in Geometry
Geometry Machines: From AI to SMC
AISMC-3 Proceedings of the International Conference AISMC-3 on Artificial Intelligence and Symbolic Mathematical Computation
Combining Algebraic Computing and Term-Rewriting for Geometry Theorem Proving
AISC '98 Proceedings of the International Conference on Artificial Intelligence and Symbolic Computation
Proving Geometric Theorems Using Clifford Algebra and Rewrite Rules
CADE-15 Proceedings of the 15th International Conference on Automated Deduction: Automated Deduction
Qubit Logic, Algebra and Geometry
ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry
Combining Clifford Algebraic Computing and Term-Rewriting for Geometric Theorem Proving
Fundamenta Informaticae
| Hi-index | 0.00 |
Clifford algebra formalism has been used recently in combination with standard term-rewriting techniques for proving many non-trivial geometric theorems. The key issue in this approach consists in verifying whether two Clifford expressions are equal. This paper is concerned with the generalization of the work to 3D geometric problems. A rewriting system is proposed and its theoretical properties are investigated. Some examples and potential applications are also presented.