Unmixed-dimensional decomposition of a finitely generated perfect differential ideal

DOI10.1006/jsco.1999.1562zbMath1038.12005OpenAlexW1976944931MaRDI QIDQ5937882

Abdelilah Kandri Rody, Driss Bouziane, Hamid Maârouf

Publication date: 11 September 2001

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jsco.1999.1562

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Commutative rings of differential operators and their modules (13N10) Differential algebra (12H05)

Related Items

A triangular decomposition algorithm for differential polynomial systems with elementary computation complexity, Characteristic set algorithms for equation solving in finite fields, Algorithmic Thomas decomposition of algebraic and differential systems, On the efficiency of solving Boolean polynomial systems with the characteristic set method, Binomial difference ideals, Sparse difference resultant, A bound for the Rosenfeld-Gröbner algorithm, A criterion for testing whether a difference ideal is prime, Ritt-Wu characteristic set method for Laurent partial differential polynomial systems, Elimination theory in differential and difference algebra, An equivalence theorem for regular differential chains, An algorithm for decomposing a polynomial system into normal ascending sets, Properties of regular systems and algorithmic improvements for regular decomposition, Thomas Decomposition of Algebraic and Differential Systems, Differential algebra for derivations with nontrivial commutation rules, A bound for orders in differential Nullstellensatz, An Algorithm for Transforming Regular Chain into Normal Chain, Probabilistic algorithms for computing resolvent representations of regular differential ideals, A characteristic set method for ordinary difference polynomial systems, Computing representations for radicals of finitely generated differential ideals, Characteristic set method for differential-difference polynomial systems, Computing differential characteristic sets by change of ordering

Uses Software

• Maple

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Elimination in control theory
• Combinatorial dimension theory of algebraic varieties
• Computing dimension and independent sets for polynomial ideals
• A new method for solving algebraic systems of positive dimension
• Solving zero-dimensional algebraic systems
• Differential-algebraic decision methods and some applications to system theory
• A generalized Euclidean algorithm for computing triangular representations of algebraic varieties
• Triviality and dimension of a system of algebraic differential equations
• Associative differential operations
• Closedness of morphisms of differential algebraic sets. Applications to system theory
• Specializations in Differential Algebra