Rigorous Multiple-Precision Evaluation of D-Finite Functions in SageMath

Applied analysis

C. Lanczos · 1956

Earlier work this paper cites.

Irrationalité de ζ ⁡ ( 2 ) \zeta(2) et ζ ⁡ ( 3 ) \zeta(3)

R. Apéry · 1979

Earlier work this paper cites.

Computer algebra in the service of mathematical physics and number theory

D. V. Chudnovsky and G. V. Chudnovsky · 1986

Earlier work this paper cites.

Gfun: A Maple package for the manipulation of generating and holonomic functions in one variable

B. Salvy and P. Zimmermann · 1994

Earlier work this paper cites.

Algorithmic manipulation and transformations of univariate holonomic functions and sequences

C. Mallinger · 1996

Earlier work this paper cites.

Ordinary differential equations in the complex domain

E. Hille · 1997

Earlier work this paper cites.

Enumerative combinatorics

R. P. Stanley · 1999

Earlier work this paper cites.

Fast evaluation of holonomic functions

J. van der Hoeven · 1999

Cited alongside, same era.

Fast evaluation of holonomic functions near and in regular singularities

J. van der Hoeven · 2001

Cited alongside, same era.

SageMath mathematics software, 2005–

The SageMath Developers · 2005

Cited alongside, same era.

Monodromy calculations of fourth order equations of Calabi-Yau type

C. van Enckevort and D. van Straten · 2006

Cited alongside, same era.

Analytic Combinatorics

P. Flajolet and R. Sedgewick · 2009

Cited alongside, same era.

The dynamic dictionary of mathematical functions (DDMF)

A. Benoit, F. Chyzak, A. Darrasse, S. Gerhold, M. Mezzarobba, and B. Salvy · 2010

Cited alongside, same era.

Autour de l’évaluation numérique des fonctions D-finies

M. Mezzarobba · 2011

Later among the works it cites.

Estimating the Apéry numbers

M. D. Hirschhorn · 2012

Later among the works it cites.

Arb: a C library for ball arithmetic

F. Johansson · 2013

Later among the works it cites.

The holonomic toolkit

M. Kauers · 2013

Later among the works it cites.

Lattice Green’s functions of the higher-dimensional face-centered cubic lattices

C. Koutschan · 2013

Later among the works it cites.

Ore polynomials in Sage

M. Kauers, M. Jaroschek, and F. Johansson · 2015

Later among the works it cites.