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

DOI10.1134/S0361768815020103zbMath1359.12002MaRDI QIDQ2629396

A. I. Zobnin, M. A. Limonov

Publication date: 6 July 2016

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

Mathematics Subject Classification ID

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

Related Items (1)

Generalized separants of differential polynomials

Cites Work

• Differential Gröbner bases in one variable and in the partial case
• Admissible orderings and finiteness criteria for differential standard bases
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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