Pages that link to "Item:Q1311409"
From MaRDI portal
The following pages link to Automated reasoning in differential geometry and mechanics using the characteristic set method. II: Mechanical theorem proving (Q1311409):
Displaying 4 items.
- An application of Ritt-Wu's zero decomposition algorithm to the pseudo null Bertrand type curves in Minkowski 3-space (Q646765) (← links)
- Mechanical theorem proving in the surfaces using the characteristic set method and Wronskian determinant (Q1042772) (← links)
- A system for automated deduction in engineering mechanics (Q1995813) (← links)
- Geometry machines: from AI to SMC (Q6560378) (← links)
