Using Gröbner bases to reason about geometry problems
Journal of Symbolic Computation
Mechanical geometry theorem proving
Mechanical geometry theorem proving
Multilinear cayley factorization
Journal of Symbolic Computation
Invariant computations for analytic projective geometry
Journal of Symbolic Computation
Some examples of the use of distances as coordinates for Euclidean geometry
Journal of Symbolic Computation
Automated geometry theorem proving by vector calculation
ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation
Geometry theorem proving in vector spaces by means of Gröbner bases
ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation
Algorithms in invariant theory
Algorithms in invariant theory
Mechanical theorem proving in geometries
Mechanical theorem proving in geometries
Clifford Algebraic Reduction Method for Automated Theorem Proving in Differential Geometry
Journal of Automated Reasoning
Automated Production of Readable Proofs for Theorems in Non-Euclidian Geometries
Selected Papers from the International Workshop on Automated Deduction in Geometry
Clifford Algebraic Calculus for Geometric Reasoning with Application to Computer Vision
Selected Papers from the International Workshop on Automated Deduction in Geometry
Clifford Term Rewriting for Geometric Reasoning in 3D
ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
Automated Theorem Proving in Incidence Geometry - A Bracket Algebra Based Elimination Method
ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry
Journal of Symbolic Computation
A geometric interpretation of LD-resolution
Theoretical Computer Science - Logic, semantics and theory of programming
Polyhedral scene analysis combining parametric propagation with calotte analysis
IWMM'04/GIAE'04 Proceedings of the 6th international conference on Computer Algebra and Geometric Algebra with Applications
nD polyhedral scene reconstruction from single 2D line drawing by local propagation
ADG'04 Proceedings of the 5th international conference on Automated Deduction in Geometry
Combining Clifford Algebraic Computing and Term-Rewriting for Geometric Theorem Proving
Fundamenta Informaticae
Hi-index | 0.00 |
In this paper a new method is proposed for mechanical geometry theorem proving. It combines vectorial equations solving in Clifford algebra formalism with Wu"s method. The proofs produced have significantly enhanced geometric meaning and fewer nongeometric nondegeneracy conditions.