Pages that link to "Item:Q2725960"
From MaRDI portal
The following pages link to Automated theorem proving in projective geometry with bracket algebra (Q2725960):
Displaying 9 items.
- Invariant computations for analytic projective geometry (Q1176391) (← links)
- Automated reasoning about cubic curves (Q1343392) (← 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)
- Mechanical theorem proving in projective geometry (Q1924746) (← links)
- Formalizing constructive projective geometry in Agda (Q2333313) (← links)
- Affine bracket algebra theory and algorithms and their applications in mechanical theorem proving (Q2461488) (← links)
- (Q4429034) (← links)
- Automated Deduction in Geometry (Q5902026) (← links)