Pages that link to "Item:Q1426143"
From MaRDI portal
The following pages link to Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry. (Q1426143):
Displaying 8 items.
- Body-and-cad geometric constraint systems (Q448973) (← links)
- Collision and intersection detection of two ruled surfaces using bracket method (Q631071) (← links)
- Implementing geometric algebra products with binary trees (Q742367) (← links)
- Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. II: Conic geometry. (Q1426144) (← links)
- Affine bracket algebra theory and algorithms and their applications in mechanical theorem proving (Q2461488) (← links)
- Two cryptomorphic formalizations of projective incidence geometry (Q2631964) (← links)
- A Formalization of Grassmann-Cayley Algebra in COQ and Its Application to Theorem Proving in Projective Geometry (Q3102734) (← links)
- Cayley factorization and the area principle (Q5964225) (← links)
