Pages that link to "Item:Q1426144"
From MaRDI portal
The following pages link to Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. II: Conic geometry. (Q1426144):
Displaying 5 items.
- Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry. (Q1426143) (← links)
- Affine bracket algebra theory and algorithms and their applications in mechanical theorem proving (Q2461488) (← links)
- Automated theorem proving in projective geometry with bracket algebra (Q2725960) (← links)
- Automated Deduction in Geometry (Q5902026) (← links)
- Cayley factorization and the area principle (Q5964225) (← links)