Generalized Reduction in Rings of Differential Polynomials. - A. I. Zobnin (Program. Comput. Softw., 2004)

Membership problem for differential ideals generated by a composition of polynomials. - Marina V. Kondratieva; A. I. Zobnin (Program. Comput. Softw., 2006)

Generalization of the F5 algorithm for calculating Gröbner bases for polynomial ideals. - A. I. Zobnin (Program. Comput. Softw., 2010)

Algorithm for checking triviality of "mixed" ideals in the ring of differential polynomials. - A. I. Zobnin; M. A. Limonov (Program. Comput. Softw., 2015)