No abstract

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 T1(x) and T2(x) such that T (x) = T 1 (x) + T2(x) and T2(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.

No abstract

No abstract

No abstract