Pages that link to "Item:Q1924746"
From MaRDI portal
The following pages link to Mechanical theorem proving in projective geometry (Q1924746):
Displaying 19 items.
- Homography in \(\mathbb{R}\mathbb{P}^2\) (Q520382) (← links)
- Combinatorial analysis of proofs in projective and affine geometry (Q638479) (← links)
- Mechanical geometry theorem proving based on Gröbner bases (Q676849) (← links)
- 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)
- Elimination procedures for mechanical theorem proving in geometry (Q1924738) (← links)
- Formalizing constructive projective geometry in Agda (Q2333313) (← links)
- Diagrams, tensors and geometric reasoning (Q2391201) (← links)
- Pascal's theorem in real projective plane (Q2407506) (← links)
- A review and prospect of readable machine proofs for geometry theorems (Q2439882) (← links)
- Two cryptomorphic formalizations of projective incidence geometry (Q2631964) (← links)
- Automated theorem proving in projective geometry with bracket algebra (Q2725960) (← links)
- A Car Crash Solved—with a Swiss Army Knife (Q2911525) (← links)
- Cancellation Patterns in Automatic Geometric Theorem Proving (Q3102732) (← links)
- Automated Deduction in Geometry (Q5902021) (← links)
- Formalizing Some “Small” Finite Models of Projective Geometry in Coq (Q6108812) (← links)
- Geometry machines: from AI to SMC (Q6560378) (← links)
