M. M. Bonsangue, J. J. Rutten, and J. Winter, Defining Context-Free Power Series Coalgebraically, CMCS, pp.20-39, 2012.
DOI : 10.1007/978-3-642-32784-1_2

F. Bornemann, D. P. Dirk-pieter-laurie, S. Wagon, and J. Waldvogel, The SIAM 100-digit challenge : a study in high-accuracy numerical computing, Society for Industrial and Applied Mathematics, 2004.
DOI : 10.1137/1.9780898717969

C. Brezinski, A general extrapolation algorithm, Numerische Mathematik, vol.3, issue.2, 1980.
DOI : 10.1007/BF01396314

C. Brezinski, Convergence acceleration during the 20th century, Journal of Computational and Applied Mathematics, vol.122, issue.1-2, pp.1-21, 2000.
DOI : 10.1016/S0377-0427(00)00360-5

L. Euler, De seriebus divergentibus Novi comm. acad. sci. Petrop, Opera Omnia, pp.205-237, 1760.

K. Grygiel and P. Lescanne, Counting terms in the binary lambda calculus, 2014.
URL : https://hal.archives-ouvertes.fr/ensl-00923203

G. Hutton, Programming in Haskell, 2007.
DOI : 10.1017/CBO9780511813672

J. Martinet and J. Ramis, Elementary acceleration and multisummability, Ann. Inst. Henri Poincar, vol.54, issue.1, 1991.

. Numberphile, Astounding: 1 + 2 + 3 + 4 + 5 + ... = -1/12, 2014.

N. Osada, Acceleration Methods for Slowly Convergent Sequences and their Applications, 1993.

J. Ramis, Sries divergentes et thories asymptotiques. Panoramas et Synthses, 1993.

J. Ramis, Leonhard euler, ou l'art de donner un sens ce qui n'en avait pas, 2009.

J. J. Rutten, Behavioural differential equations: a coinductive calculus of streams, automata, and power series, Theoretical Computer Science, vol.308, issue.1-3, pp.1-53, 2003.
DOI : 10.1016/S0304-3975(02)00895-2

J. Winter, QStream: A Suite of Streams, Lecture Notes in Computer Science, vol.8089, pp.353-358, 2013.
DOI : 10.1007/978-3-642-40206-7_30