A zero structure theorem for differential parametric systems

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

zbMATH Keywords

elimination of quantifiersdifferential fieldexplicit algorithmdifferential parametric systemzero structure theorem

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Differential algebra (12H05)

Related Items (7)

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 ⋮ A Modular Algorithm for Computing the Intersection of a One-Dimensional Quasi-Component and a Hypersurface ⋮ 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