Pages that link to "Item:Q911792"
From MaRDI portal
The following pages link to A procedure to prove statements in differential geometry (Q911792):
Displayed 6 items.
- Mechanical theorem proving in the surfaces using the characteristic set method and Wronskian determinant (Q1042772) (← links)
- Automated reasoning in differential geometry and mechanics using the characteristic set method. II: Mechanical theorem proving (Q1311409) (← links)
- An extension of a procedure to prove statements in differential geometry (Q1340965) (← links)
- An introduction to commutative and noncommutative Gröbner bases (Q1341746) (← links)
- Mechanical theorem proving in the local theory of surfaces (Q1924739) (← links)
- The dimension method in elementary and differential geometry (Q1924742) (← links)