Algorithmic Determination of Commutation Relations for Lie Symmetry Algebras of PDEs. - Gregory J. Reid; Ian G. Lisle; A. Boulton; Allan D. Wittkopf (ISSAC, 1992)

Existence and Uniqueness Theorems for Formal Power Series Solutions of Analytic Differential Systems. - C. J. Rust; Gregory J. Reid; Allan D. Wittkopf (ISSAC, 1999)

On the design and implementation of Brown's algorithm over the integers and number fields. - Michael B. Monagan; Allan D. Wittkopf (ISSAC, 2000)

Determination of maximal symmetry groups of classes of differential equations. - Gregory J. Reid; Allan D. Wittkopf (ISSAC, 2000)

Algorithms for the non-monic case of the sparse modular GCD algorithm. - Jennifer de Kleine; Michael B. Monagan; Allan D. Wittkopf (ISSAC, 2005)

Symbolic-numeric completion of differential systems by homotopy continuation. - Greg Reid; Jan Verschelde; Allan D. Wittkopf; Wenyuan Wu (ISSAC, 2005)