Charles Explorer logo
🇬🇧

Non-holonomicity of sequences defined via elementary functions

Publication at Faculty of Mathematics and Physics |
2008

Abstract

We present some general methods for obtaining proofs that a sequence of values f(1), f(2), ... of an elementary function satisfies no linear recurrence with polynomial coefficients.