Pages that link to "Item:Q1368208"
From MaRDI portal
The following pages link to Mechanical theorem proving in differential geometry: Local theory of surfaces (Q1368208):
Displaying 7 items.
- A procedure to prove statements in differential geometry (Q911792) (← links)
- Mechanical theorem proving in the surfaces using the characteristic set method and Wronskian determinant (Q1042772) (← links)
- Mechanical theorem proving of differential geometries and some of its applications in mechanics (Q1177715) (← links)
- Clifford algebraic reduction method for automated theorem proving in differential geometry (Q1272600) (← links)
- Ordering in automated theorem proving of differential geometry (Q1299842) (← links)
- Mechanical theorem proving in the local theory of surfaces (Q1924739) (← links)
- (Q3826517) (← links)
