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

Algorithmic Determination of Structure of Infinite Lie Pseudogroups of Symmetries of PDEs. - Ian G. Lisle; Gregory J. Reid; A. Boulton (ISSAC, 1995)

Geometry and Structure of Lie Pseudogroups from Infinitesimal Defining Systems. - Ian G. Lisle; Gregory J. Reid (J. Symb. Comput., 1998)

Symmetry Classification Using Noncommutative Invariant Differential Operators. - Ian G. Lisle; Gregory J. Reid (Found. Comput. Math., 2006)

Algorithms for spherical harmonic lighting. - Ian G. Lisle; Tracy Shih-lung Huang (GRAPHITE, 2007)

Structure of symmetry of PDE: exploiting partially integrated systems. - Ian G. Lisle; Tracy Shih-lung Huang; Gregory J. Reid (SNC, 2014)

Algorithmic calculus for Lie determining systems. - Ian G. Lisle; Tracy Shih-lung Huang (J. Symb. Comput., 2017)