Algorithm for checking triviality of ``mixed ideals in the ring of differential polynomials

DOI10.1134/S0361768815020103MaRDI QIDQ2629396zbMATH OpenFDO

Authors A. I. Zobnin, M. A. Limonov

Publication date 6 July 2016

Published in Programming and Computer Software (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1134/S0361768815020103

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 177873
• scientific article; zbMATH DE number 1383108
• scientific article; zbMATH DE number 913116
• An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal
• An algorithm for computing a Gröbner basis of a polynomial ideal over a ring with zero divisors
• The ideal of separants in the ring of differential polynomials
• Ideals in polynomial rings and the module of differentials
• Algorithmic problems for differential polynomial algebras
• scientific article; zbMATH DE number 1163435
• A new algorithm for computing regular representations for radicals of parametric differential ideals

Cites work

• Admissible orderings and finiteness criteria for differential standard bases
• Differential Gröbner bases in one variable and in the partial case
• scientific article; zbMATH DE number 1824068 (Why is no real title available?)
• scientific article; zbMATH DE number 1254247 (Why is no real title available?)
• scientific article; zbMATH DE number 3279238 (Why is no real title available?)
• scientific article; zbMATH DE number 3415973 (Why is no real title available?)

Cited in

(5)

• Triviality and dimension of a system of algebraic differential equations
• Generalized separants of differential polynomials
• scientific article; zbMATH DE number 913116 (Why is no real title available?)
• On bounds for the effective differential Nullstellensatz
• The ideal of separants in the ring of differential polynomials

This page was built for publication: Algorithm for checking triviality of ``mixed ideals in the ring of differential polynomials

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2629396)