Computing the n-th coefficient of an algebraic power series modulo p in O(log n) operations
arXiv:1605.06087
Abstract
This is an exposition, for pedagogical purposes, of the formal power series proof of Bostan, Christol and Dumas [3] of the result stated in the title (a corollary of the Christol theorem).
11 pages, short lecture notes