Characteristic set method for differential-difference polynomial systems

DOI10.1016/j.jsc.2008.02.010zbMath1169.13019OpenAlexW1979742329MaRDI QIDQ1030248

J. Blot

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

zbMATH Keywords

zero decomposition algorithmcharacteristic setirreducible ascending chaindifferential and difference polynomialperfect ideal membership problemregular ascending chain

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Computational aspects and applications of commutative rings (13P99) Derivations and commutative rings (13N15)

Related Items (13)

Algorithms yield upper bounds in differential algebra ⋮ Characteristic sets verses generalized characteristic sets ⋮ Algorithms for computing triangular decomposition of polynomial systems ⋮ Thomas Decomposition and Nonlinear Control Systems ⋮ On the efficiency of solving Boolean polynomial systems with the characteristic set method ⋮ Binomial difference ideals ⋮ A criterion for testing whether a difference ideal is prime ⋮ Elimination theory in differential and difference algebra ⋮ Elimination of unknowns for systems of algebraic differential-difference equations ⋮ An equivalence theorem for regular differential chains ⋮ SOLVING DIFFERENCE EQUATIONS IN SEQUENCES: UNIVERSALITY AND UNDECIDABILITY ⋮ A primitive element theorem for fields with commuting derivations and automorphisms ⋮ Effective difference elimination and nullstellensatz

Cites Work

• A characteristic set method for ordinary difference polynomial systems
• Automated reasoning in differential geometry and mechanics using the characteristic set method. I: An improved version of Ritt-Wu's decomposition algorithm
• Factorization-free decomposition algorithms in differential algebra
• On the theories of triangular sets
• Associative differential operations
• Resolvent systems of difference polynomial ideals
• Systems of Algebraic Difference Equations
• Specializations in Differential Algebra
• Ideal Theory and Algebraic Difference Equations
• Manifolds of Difference Polynomials
• Unmixed-dimensional decomposition of a finitely generated perfect differential ideal
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Characteristic set method for differential-difference polynomial systems