The following pages link to (Q3833652):
Displaying 4 items.
- A procedure to prove statements in differential geometry (Q911792) (← links)
- Elimination procedures for mechanical theorem proving in geometry (Q1924738) (← links)
- The dimension method in elementary and differential geometry (Q1924742) (← links)
- A Geometric Procedure with Prover9 (Q4913864) (← links)