Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry.

52B55: Computational aspects related to convexity

03B35: Mechanization of proofs and logical operations

51A05: General theory of linear incidence geometry and projective geometries

Related Items

Collision and intersection detection of two ruled surfaces using bracket method, Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. II: Conic geometry., Affine bracket algebra theory and algorithms and their applications in mechanical theorem proving

Cites Work

On the finding of final polynomials
The dotted straightening algorithm
Gröbner bases and invariant theory
On the exterior calculus of invariant theory
On the application of Buchberger's algorithm to automated geometry theorem proving
Elimination methods
Projective geometry with Clifford algebra
Multilinear Cayley factorization
On the synthetic factorization of projectively invariant polynomials
Invariant computations for analytic projective geometry
Computational algebraic geometry of projective configurations
Computational synthetic geometry
Mechanical theorem proving in geometries. Basic principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang
Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. II: Conic geometry.
Vectorial equations solving for mechanical geometry theorem proving
Grassmann-Plücker relations and matroids with coefficients
Automated production of traditional proofs in solid geometry
Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems
Mechanical theorem proving in projective geometry
Realization spaces of polytopes
Computing final polynomials and final syzygies using Buchberger's Gröbner bases method
On the Foundations of Combinatorial Theory: IX Combinatorial Methods in Invariant Theory
The Bracket Ring of a Combinatorial Geometry. I
Machine Proofs in Geometry
Algorithms in invariant theory
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item