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

DOI10.1134/S0361768815020103zbMath1359.12002MaRDI QIDQ2629396

M. A. Limonov, A. I. Zobnin

Publication date: 6 July 2016

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

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

12H05: Differential algebra