The Ideal Membership Problem in Non-Commutative Polynomial Rings. - F. Leon Pritchard (J. Symb. Comput., 1996)

On initial value problems for ordinary differential-algebraic equations. - F. Leon Pritchard; William Y. Sit (SIGSAM Bull., 1998)