Automated reasoning in differential geometry and mechanics using the characteristic set method. I: An improved version of Ritt-Wu's decomposition algorithm
From MaRDI portal
Publication:1311408
DOI10.1007/BF00881834zbMath0782.68100MaRDI QIDQ1311408
Xiao-Shan Gao, Shang-Ching Chou
Publication date: 23 January 1994
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
differential polynomials\(W\)-permquasi zero setRitt-Wu's decomposition algorithmweak ascending chain
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (13)
An extension of a procedure to prove statements in differential geometry ⋮ A triangular decomposition algorithm for differential polynomial systems with elementary computation complexity ⋮ An application of Ritt-Wu's zero decomposition algorithm to the pseudo null Bertrand type curves in Minkowski 3-space ⋮ Implicitization of differential rational parametric equations. ⋮ Ritt-Wu characteristic set method for Laurent partial differential polynomial systems ⋮ Involutive directions and new involutive divisions ⋮ Probabilistic algorithms for computing resolvent representations of regular differential ideals ⋮ A characteristic set method for ordinary difference polynomial systems ⋮ Characteristic set method for differential-difference polynomial systems ⋮ Mechanical theorem proving in the surfaces using the characteristic set method and Wronskian determinant ⋮ Intersection theory in differential algebraic geometry: Generic intersections and the differential Chow form ⋮ Automated reasoning in differential geometry and mechanics using the characteristic set method. II: Mechanical theorem proving ⋮ Sparse differential resultant for Laurent differential polynomials
Cites Work
This page was built for publication: Automated reasoning in differential geometry and mechanics using the characteristic set method. I: An improved version of Ritt-Wu's decomposition algorithm