Admissible Orderings and Finiteness Criteria for Differential Standard Bases

A. Zobnin

 

We prove that any admissible ordering on ordinary differential monomials in one differential indeterminate can be specified by a canonical set of matrices. We study the relations between some classes of these orderings. We give criteria of finiteness of differential standard bases and propose an algorithm that computes such bases if they are finite.