Defining Context-Free Power Series Coalgebraically, CMCS, pp.20-39, 2012. ,
DOI : 10.1007/978-3-642-32784-1_2
The SIAM 100-digit challenge : a study in high-accuracy numerical computing, Society for Industrial and Applied Mathematics, 2004. ,
DOI : 10.1137/1.9780898717969
A general extrapolation algorithm, Numerische Mathematik, vol.3, issue.2, 1980. ,
DOI : 10.1007/BF01396314
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
De seriebus divergentibus Novi comm. acad. sci. Petrop, Opera Omnia, pp.205-237, 1760. ,
Counting terms in the binary lambda calculus, 2014. ,
URL : https://hal.archives-ouvertes.fr/ensl-00923203
Programming in Haskell, 2007. ,
DOI : 10.1017/CBO9780511813672
Elementary acceleration and multisummability, Ann. Inst. Henri Poincar, vol.54, issue.1, 1991. ,
Astounding: 1 + 2 + 3 + 4 + 5 + ... = -1/12, 2014. ,
Acceleration Methods for Slowly Convergent Sequences and their Applications, 1993. ,
Sries divergentes et thories asymptotiques. Panoramas et Synthses, 1993. ,
Leonhard euler, ou l'art de donner un sens ce qui n'en avait pas, 2009. ,
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
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