The following pages link to (Q3491012):
Displaying 6 items.
- Geometric constraint solving with geometric transformation (Q865932) (← links)
- Resultant elimination via implicit equation interpolation (Q1691953) (← links)
- Elimination procedures for mechanical theorem proving in geometry (Q1924738) (← links)
- An automated study of isoptic curves of an astroid (Q2334579) (← links)
- Algebraic factoring and geometry theorem proving (Q5210786) (← links)
- Geometry machines: from AI to SMC (Q6560378) (← links)
