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.