Pages that link to "Item:Q1177715"
From MaRDI portal
The following pages link to Mechanical theorem proving of differential geometries and some of its applications in mechanics (Q1177715):
Displaying 15 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)
- Ordering in automated theorem proving of differential geometry (Q1299842) (← links)
- Automated reasoning in differential geometry and mechanics using the characteristic set method. II: Mechanical theorem proving (Q1311409) (← links)
- Mechanical theorem proving in geometries. Basic principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang (Q1329538) (← links)
- An extension of a procedure to prove statements in differential geometry (Q1340965) (← links)
- Ordering in mechanical geometry theorem proving (Q1368227) (← links)
- Mechanical theorem proving in the local theory of surfaces (Q1924739) (← links)
- The dimension method in elementary and differential geometry (Q1924742) (← links)
- A system for automated deduction in engineering mechanics (Q1995813) (← links)
- Affine bracket algebra theory and algorithms and their applications in mechanical theorem proving (Q2461488) (← links)
- (Q2716051) (← links)
- (Q3826517) (← links)
- Algorithm for computing differential char sets efficiently (Q5034617) (← links)
- Geometry machines: from AI to SMC (Q6560378) (← links)
