Client-Server Communication Standards for Mathematical Computation. - Ha Q. Le; Chris Howlett (ISSAC, 1999)

Computing the minimal telescoper for sums of hypergeometric terms. - Ha Q. Le (SIGSAM Bull., 2001)

On the q-Analogue of Zeilberger's Algorithm to Rational Functions. - Ha Q. Le (Program. Comput. Softw., 2001)

Simplification of definite sums of rational functions by creative symmetrizing method. - Ha Q. Le (ISSAC, 2002)

A criterion for the applicability of Zeilberger's algorithm to rational functions . - Sergei A. Abramov; Ha Q. Le (Discret. Math., 2002)

Rational canonical forms and efficient representations of hypergeometric terms. - Sergei A. Abramov; Ha Q. Le; Marko Petkovsek (ISSAC, 2003)

A direct algorithm to construct the minimal Z-pairs for rational functions. - Ha Q. Le (Adv. Appl. Math., 2003)

Differential rational normal forms and a reduction algorithm for hyperexponential func. - Keith O. Geddes; Ha Q. Le; Ziming Li 002 (ISSAC, 2004)

Telescoping in the context of symbolic summation in Maple. - Sergei A. Abramov; Jacques Carette; Keith O. Geddes; Ha Q. Le (J. Symb. Comput., 2004)

On the order of the recurrence produced by the method of creative telescoping. - Sergei A. Abramov; Ha Q. Le (Discret. Math., 2005)