The following pages link to (Q4840652):
Displaying 10 items.
- The area method. A recapitulation (Q437042) (← links)
- Geometric constraint solving with geometric transformation (Q865932) (← links)
- Implicitization of differential rational parametric equations. (Q1426145) (← links)
- Towards an intelligent and dynamic geometry book (Q1701659) (← links)
- A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications (Q1701667) (← links)
- Automated deduction and knowledge management in geometry (Q1995808) (← links)
- Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method (Q3102746) (← links)
- A practical symbolic algorithm for the inverse kinematics of 6R manipulators with simple geometry (Q5234692) (← links)
- Involutive directions and new involutive divisions (Q5948764) (← links)
- Geometry machines: from AI to SMC (Q6560378) (← links)
