Pages that link to "Item:Q1311408"
From MaRDI portal
The following pages link to Automated reasoning in differential geometry and mechanics using the characteristic set method. I: An improved version of Ritt-Wu's decomposition algorithm (Q1311408):
Displaying 13 items.
- An application of Ritt-Wu's zero decomposition algorithm to the pseudo null Bertrand type curves in Minkowski 3-space (Q646765) (← links)
- Probabilistic algorithms for computing resolvent representations of regular differential ideals (Q985372) (← links)
- A characteristic set method for ordinary difference polynomial systems (Q1006653) (← links)
- Characteristic set method for differential-difference polynomial systems (Q1030248) (← links)
- 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)
- Implicitization of differential rational parametric equations. (Q1426145) (← links)
- Ritt-Wu characteristic set method for Laurent partial differential polynomial systems (Q1730301) (← links)
- Sparse differential resultant for Laurent differential polynomials (Q2351806) (← links)
- A triangular decomposition algorithm for differential polynomial systems with elementary computation complexity (Q2400459) (← links)
- Intersection theory in differential algebraic geometry: Generic intersections and the differential Chow form (Q2847119) (← links)
- Involutive directions and new involutive divisions (Q5948764) (← links)