Algorithm for checking triviality of “mixed” ideals in the ring of differential polynomials
A. I. Zobnin, M. A. Limonov · Programming and Computer Software · 2015
An algorithm for checking triviality of the ideal [f] + (h 1, …, h t ) in the ordinary ring of differential polynomials under an additional condition on the polynomial f is suggested. This problem is closely related, on the one hand, to the Kolchin problem on exponents of differential ideals and, on the other hand, to finiteness of differential standard bases.