On Computing Closed Forms for Indefinite Summations. - Yiu-Kwong Man (J. Symb. Comput., 1993)

Computing Closed Form Solutions of First Order ODEs Using the Prelle-Singer Procedure. - Yiu-Kwong Man (J. Symb. Comput., 1993)

Fast Polynomial Dispersion Computation and Its Application to Indefinite Summation. - Yiu-Kwong Man; Francis J. Wright (ISSAC, 1994)

A Rational Approach to the Prelle-Singer Algorithm. - Yiu-Kwong Man; Malcolm A. H. MacCallum (J. Symb. Comput., 1997)

A cover-up approach to partial fractions with linear or irreducible quadratic factors in the denominators. - Yiu-Kwong Man (Appl. Math. Comput., 2012)

On Computing the Measurable Amounts of the Two Jugs Problem. - Yiu-Kwong Man (Math. Comput. Sci., 2015)