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