Pages that link to "Item:Q1924739"
From MaRDI portal
The following pages link to Mechanical theorem proving in the local theory of surfaces (Q1924739):
Displaying 4 items.
- Involutive characteristic sets of algebraic partial differential equation systems (Q547816) (← links)
- Mechanical theorem proving in the surfaces using the characteristic set method and Wronskian determinant (Q1042772) (← links)
- Mechanical theorem proving in differential geometry: Local theory of surfaces (Q1368208) (← links)
- Geometry machines: from AI to SMC (Q6560378) (← links)