The following pages link to (Q5690444):
Displaying 7 items.
- Challenging theorem provers with Mathematical Olympiad problems in solid geometry (Q294381) (← links)
- Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry. (Q1426143) (← links)
- Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. II: Conic geometry. (Q1426144) (← links)
- Weighted projective spaces and a generalization of Eves' theorem (Q2251234) (← links)
- Cancellation Patterns in Automatic Geometric Theorem Proving (Q3102732) (← links)
- A Formalization of Grassmann-Cayley Algebra in COQ and Its Application to Theorem Proving in Projective Geometry (Q3102734) (← links)
- Can one define geometry today? (Q5954146) (← links)
