Papers about D-finite power series and P-recursive sequences
D-finite power series
An introduction and proof of the diagonal theorem.
About asymptotic expansions of P-recursive sequences.
A lemma on polyhedral sets of lattice points.
My Papers on D-finiteness
Bruno Haible <bruno@clisp.org>
Last modified: 20 April 1998.