A zero structure theorem for differential parametric systems
From MaRDI portal
Publication:1329185
DOI10.1006/jsco.1993.1065zbMath0805.12003OpenAlexW2079572923MaRDI QIDQ1329185
Shang-Ching Chou, Xiao-Shan Gao
Publication date: 31 January 1995
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/089299f1fd169b4ccf9a90e854865590b09ecba4
elimination of quantifiersdifferential fieldexplicit algorithmdifferential parametric systemzero structure theorem
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (6)
Algorithms for computing triangular decomposition of polynomial systems ⋮ An algorithm for solving partial differential parametric systems. ⋮ Implicitization of differential rational parametric equations. ⋮ An algorithmic method for showing existence of nontrivial non-classical symmetries of partial differential equations without solving determining equations ⋮ Involutive directions and new involutive divisions ⋮ Intersection theory in differential algebraic geometry: Generic intersections and the differential Chow form
This page was built for publication: A zero structure theorem for differential parametric systems
