Pages that link to "Item:Q1118424"
From MaRDI portal
The following pages link to Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the Ritt-Wu principle (Q1118424):
Displaying 11 items.
- Geometric reasoning with logic and algebra (Q918227) (← links)
- A method for the mechanical derivation of formulas in elementary geometry (Q1099656) (← links)
- Elimination procedures for mechanical theorem proving in geometry (Q1924738) (← links)
- A generalized Euclidean algorithm for geometry theorem proving (Q1924743) (← links)
- (Q3490991) (← links)
- (Q3491012) (← links)
- Mechanical geometry theorem proving (Q3994509) (← links)
- An identity method for proving geometry theorems based on Wu's method (Q5064252) (← links)
- Automated Deduction in Geometry (Q5902021) (← links)
- Ritt-Wu's decomposition algorithm and geometry theorem proving (Q6488532) (← links)
- Geometry machines: from AI to SMC (Q6560378) (← links)