The following pages link to (Q3668379):
Displaying 8 items.
- Geometric constraint solving with geometric transformation (Q865932) (← links)
- The parallel numerical method of mechanical theorem proving (Q914413) (← links)
- On the application of Buchberger's algorithm to automated geometry theorem proving (Q1094149) (← links)
- Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the Ritt-Wu principle (Q1118424) (← links)
- On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving (Q1121669) (← links)
- Computer assistance for ``discovering'' formulas in system engineering and operator theory (Q1282332) (← links)
- Automated production of traditional proofs in solid geometry (Q1891257) (← links)
- Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems (Q1924745) (← links)
