Details

Autor(en) / Beteiligte

• Geddes, Keith
• Le, Ha
• Li, Ziming

Titel

Differential rational normal forms and a reduction algorithm for hyperexponential func

Ist Teil von

• International Conference on Symbolic and Algebraic Computation: Proceedings of the 2004 international symposium on Symbolic and algebraic computation; 04-07 July 2004, 2004, p.183-190

Ort / Verlag

ACM

Erscheinungsjahr

2004

Link zum Volltext

Quelle

ACM Digital Library

Beschreibungen/Notizen

• 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.