Finding hyperexponential solutions of linear ODEs by numerical evaluation

Authors: Fredrik Johansson, Manuel Kauers, Marc Mezzarobba

Published in Proceedings of the 38th international symposium on symbolic and algebraic computation (ISSAC '13). ACM, New York, NY, USA, 211-218. DOI=10.1145/2465506.2465513.

arXiv preprint:, published January 11, 2013.


We present a new algorithm for computing hyperexponential solutions of ordinary linear differential equations with polynomial coefficients. The algorithm relies on interpreting formal series solutions at the singular points as analytic functions and evaluating them numerically at some common ordinary point. The numerical data is used to determine a small number of combinations of the formal series that may give rise to hyperexponential solutions.

Last updated September 12, 2013. Contact:

Back to