Differential rational normal forms and a reduction algorithm for hyperexponential func
Keith O. Geddes, Ha Le, Ziming Li · 2004
We describe differential rational normal forms of a rational function and their properties. Based on these normal forms, we present an algorithm which, given a hyperexponential function T(x), constructs two hyperexponential functions T;1;(x) and T;2;(x) such that T(x) = T;1;'(x) + T;2;(x) and T;2;(x) is minimal in some sense. The algorithm can be used to accelerate the differential Gosper's algorithm and to compute right factors of the telescopers.