The following pages link to (Q3772181):
Displayed 4 items.
- Wu's method and its application to perspective viewing (Q1115642) (← links)
- Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the Ritt-Wu principle (Q1118424) (← links)
- A refutational approach to geometry theorem proving (Q1124373) (← links)
- A generalized Euclidean algorithm for geometry theorem proving (Q1924743) (← links)