Pages that link to "Item:Q1121669"

The following pages link to On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving (Q1121669):

Displaying 2 items.

• Automated reasoning in differential geometry and mechanics using the characteristic set method. II: Mechanical theorem proving (Q1311409) (← links)
• Elimination procedures for mechanical theorem proving in geometry (Q1924738) (← links)