Pages that link to "Item:Q1118424"

The following pages link to Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the Ritt-Wu principle (Q1118424):

Displaying 3 items.

• Geometric reasoning with logic and algebra (Q918227) (← links)
• Elimination procedures for mechanical theorem proving in geometry (Q1924738) (← links)
• A generalized Euclidean algorithm for geometry theorem proving (Q1924743) (← links)