Automated theorem proving in projective geometry with bracket algebra
From MaRDI portal
Recommendations
- Automated theorem proving in incidence geometry -- a bracket algebra based elimination method
- Mechanical theorem proving in projective geometry
- Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. II: Conic geometry.
- scientific article; zbMATH DE number 1263331
- Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry.
Cited in
(15)- Invariant computations for analytic projective geometry
- Automated reasoning about cubic curves
- Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry.
- Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. II: Conic geometry.
- Mechanical theorem proving in projective geometry
- Formalizing constructive projective geometry in Agda
- Affine bracket algebra theory and algorithms and their applications in mechanical theorem proving
- Cancellation patterns in automatic geometric theorem proving
- Some lemmas to hopefully enable search methods to find short and human readable proofs for incidence theorems of projective geometry
- Project 1: Automatic geometry theorem proving
- Sketch-as-proof
- scientific article; zbMATH DE number 1985200 (Why is no real title available?)
- Automated theorem proving in incidence geometry -- a bracket algebra based elimination method
- Coordinate-free theorem proving in incidence geometry
- Automated Deduction in Geometry
This page was built for publication: Automated theorem proving in projective geometry with bracket algebra
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2725960)
