Pages that link to "Item:Q1924743"
From MaRDI portal
The following pages link to A generalized Euclidean algorithm for geometry theorem proving (Q1924743):
Displaying 7 items.
- A generalized Euclidean algorithm for computing triangular representations of algebraic varieties (Q1260758) (← links)
- Elimination procedures for mechanical theorem proving in geometry (Q1924738) (← links)
- (Q3490991) (← links)
- A Geometric Procedure with Prover9 (Q4913864) (← links)
- GeoLogic – Graphical Interactive Theorem Prover for Euclidean Geometry (Q5041061) (← links)
- Ritt-Wu's decomposition algorithm and geometry theorem proving (Q6488532) (← links)
- Geometry machines: from AI to SMC (Q6560378) (← links)