Characteristic set method for differential-difference polynomial systems
From MaRDI portal
Publication:1030248
DOI10.1016/j.jsc.2008.02.010zbMath1169.13019MaRDI QIDQ1030248
Publication date: 1 July 2009
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jsc.2008.02.010
zero decomposition algorithm; characteristic set; irreducible ascending chain; differential and difference polynomial; perfect ideal membership problem; regular ascending chain
68W30: Symbolic computation and algebraic computation
13P99: Computational aspects and applications of commutative rings
13N15: Derivations and commutative rings