[1] Alexandre Benoit, Mioara Joldeș, and Marc Mezzarobba. Rigorous uniform approximation of D-finite functions using Chebyshev expansions. Mathematics of Computation, 86(305):1303­­–1341, 2017.
@article{BenoitJoldesMezzarobba2017,
  author = {Alexandre Benoit and Mioara Joldeș and Marc Mezzarobba},
  journal = {Mathematics of Computation},
  number = {305},
  pages = {1303­­–1341},
  publisher = {American Mathematical Society},
  title = {Rigorous Uniform Approximation of {D}-finite Functions Using {C}hebyshev Expansions},
  url = {http://hal.archives-ouvertes.fr/hal-01022420/},
  volume = {86},
  year = {2017}
}
[2] Nicolas Brisebarre, Christoph Lauter, Marc Mezzarobba, and Jean-Michel Muller. Comparison between binary and decimal floating-point numbers. IEEE Transactions on Computers, 65(7):2032–2044, 2016.
@article{BrisebarreLauterMezzarobbaMuller2016,
  author = {Nicolas Brisebarre and Christoph Lauter and Marc Mezzarobba and Jean-Michel Muller},
  journal = {IEEE Transactions on Computers},
  number = {7},
  pages = {2032–2044},
  title = {Comparison between binary and decimal floating-point numbers},
  url = {http://hal.archives-ouvertes.fr/hal-01021928/},
  volume = {65},
  year = {2016}
}
[3] Alexandre Benoit, Frédéric Chyzak, Alexis Darrasse, Stefan Gerhold, Marc Mezzarobba, and Bruno Salvy. The dynamic dictionary of mathematical functions (DDMF). In Fukuda et al. [21], page 35–41.
@inproceedings{BenoitChyzakDarrasseGerholdMezzarobbaSalvy2010,
  author = {Alexandre Benoit and Frédéric Chyzak and Alexis Darrasse and Stefan Gerhold and Marc Mezzarobba and Bruno Salvy},
  crossref = {ICMS2010},
  pages = {35–41},
  title = {The Dynamic Dictionary of Mathematical Functions ({DDMF})},
  url = {http://marc.mezzarobba.net/ecrits/BenoitEtAl_DDMF_2010.pdf},
  year = {2010}
}
@proceedings{ICMS2010,
  booktitle = {Mathematical Software — ICMS 2010},
  editor = {Komei Fukuda and Joris van der Hoeven and Michael Joswig and Nobuki Takayama},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Mathematical Software – {ICMS} 2010},
  volume = {6327},
  year = {2010}
}
[4] Nicolas Brisebarre, Christoph Lauter, Marc Mezzarobba, and Jean-Michel Muller. Comparison between binary64 and decimal64 floating-point numbers. In Nannarelli et al. [23], page 145–152.
@inproceedings{BrisebarreLauterMezzarobbaMuller2013,
  author = {Nicolas Brisebarre and Christoph Lauter and Marc Mezzarobba and Jean-Michel Muller},
  crossref = {ARITH2013},
  pages = {145–152},
  title = {Comparison between binary64 and decimal64 floating-point numbers},
  url = {http://hal.archives-ouvertes.fr/ensl-00737881},
  year = {2013}
}
@proceedings{ARITH2013,
  address = {Austin, Texas, USA},
  booktitle = {ARITH~21},
  editor = {Alberto Nannarelli and Peter-Michael Seidel and Ping Tak Peter Tang},
  publisher = {IEEE},
  title = {Proceedings of the 21st {IEEE} Symposium on Computer Arithmetic},
  year = {2013}
}
[5] Sylvain Chevillard and Marc Mezzarobba. Multiple precision evaluation of the Airy Ai function with reduced cancellation. In Nannarelli et al. [23], page 175–182.
@inproceedings{ChevillardMezzarobba2013,
  author = {Sylvain Chevillard and Marc Mezzarobba},
  crossref = {ARITH2013},
  pages = {175–182},
  title = {Multiple precision evaluation of the {A}iry {Ai} function with reduced cancellation},
  url = {http://arxiv.org/abs/1212.4731},
  year = {2013}
}
@proceedings{ARITH2013,
  address = {Austin, Texas, USA},
  booktitle = {ARITH~21},
  editor = {Alberto Nannarelli and Peter-Michael Seidel and Ping Tak Peter Tang},
  publisher = {IEEE},
  title = {Proceedings of the 21st {IEEE} Symposium on Computer Arithmetic},
  year = {2013}
}
[6] Marc Mezzarobba. A note on the space complexity of fast D-finite function evaluation. In Gerdt et al. [22], page 212–223.
@inproceedings{Mezzarobba2012,
  author = {Marc Mezzarobba},
  crossref = {CASC2012},
  pages = {212–223},
  title = {A Note on the Space Complexity of Fast {D}-Finite Function Evaluation},
  url = {http://arxiv.org/abs/1209.5097},
  year = {2012}
}
@proceedings{CASC2012,
  booktitle = {CASC 2012},
  editor = {V. P. Gerdt and W. Koepf and E. W. Mayr and E. V. Vorozhtsov},
  number = {7442},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Computer Algebra in Scientific Computing},
  year = {2012}
}
[7] Marc Mezzarobba. NumGfun: a package for numerical and analytic computation with D-finite functions. In Watt [24], page 139–146.
@inproceedings{Mezzarobba2010,
  author = {Marc Mezzarobba},
  crossref = {ISSAC2010},
  doi = {10.1145/1837934.1837965},
  hal = {inria-00456983},
  pages = {139–146},
  title = {{NumGfun}: a Package for Numerical and Analytic Computation with {D}-finite Functions},
  url = {http://arxiv.org/abs/1002.3077},
  year = {2010}
}
@proceedings{ISSAC2010,
  booktitle = {{ISSAC} '10},
  editor = {Stephen M. Watt},
  isbn = {978-1-4503-0150-3},
  location = {Munich, Germany},
  publisher = {ACM},
  title = {{ISSAC} '10: Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation},
  year = {2010}
}
[8] Alexandre Casamayou, Nathann Cohen, Guillaume Connan, Thierry Dumont, Laurent Fousse, François Maltey, Matthias Meulien, Marc Mezzarobba, Clément Pernet, Nicolas M. Thiéry, and Paul Zimmermann. Calcul mathématique avec Sage. Createspace, 2013.
@book{sagebook,
  author = {Alexandre Casamayou and Nathann Cohen and Guillaume Connan and Thierry Dumont and Laurent Fousse and François Maltey and Matthias Meulien and Marc Mezzarobba and Clément Pernet and Nicolas M. Thiéry and Paul Zimmermann},
  isbn = {1481191047},
  publisher = {Createspace},
  title = {Calcul mathématique avec {S}age},
  url = {http://sagebook.gforge.inria.fr/},
  year = {2013}
}
[9] Fredrik Johansson, Manuel Kauers, and Marc Mezzarobba. Finding hyperexponential solutions of linear ODEs by numerical evaluation. In ISSAC '13 [20].
@inproceedings{JohanssonKauersMezzarobba2013,
  author = {Fredrik Johansson and Manuel Kauers and Marc Mezzarobba},
  crossref = {ISSAC2013},
  title = {Finding Hyperexponential Solutions of Linear {ODE}s by Numerical Evaluation},
  url = {http://arxiv.org/abs/1301.2486}
}
@proceedings{ISSAC2013,
  booktitle = {{ISSAC} '13},
  location = {Boston, MA, USA},
  publisher = {ACM},
  title = {{ISSAC} 2013: Proceedings of the 38th international symposium on Symbolic and algebraic computation},
  year = {2013}
}
[10] Marc Mezzarobba. Autour de l'évaluation numérique des fonctions D-finies. Thèse de doctorat, École polytechnique, November 2011.
@phdthesis{Mezzarobba2011,
  author = {Marc Mezzarobba},
  month = nov,
  school = {École polytechnique},
  title = {Autour de l'évaluation numérique des fonctions {D}-finies},
  type = {Thèse de doctorat},
  url = {http://tel.archives-ouvertes.fr/pastel-00663017/},
  year = {2011}
}
[11] Marc Mezzarobba. NumGfun User Manual, 2014.
@manual{NumGfunManual,
  author = {Marc Mezzarobba},
  title = {{NumGfun} User Manual},
  url = {http://marc.mezzarobba.net/ecrits/NumGfun_User_Manual.pdf},
  year = {2014}
}
[12] Marc Mezzarobba. Génération automatique de procédures numériques pour les fonctions D-finies. Rapport de stage, Master parisien de recherche en informatique, October 2007. Version 1.2.
@mastersthesis{Mezzarobba2007,
  author = {Marc Mezzarobba},
  month = oct,
  note = {Version 1.2},
  school = {Master parisien de recherche en informatique},
  title = {Génération automatique de procédures numériques pour les fonctions {D}-finies},
  type = {Rapport de stage},
  url = {http://marc.mezzarobba.net/m2/Mezzarobba_MScThesisMPRI2007-1.2.pdf},
  year = {2007}
}
[13] Marc Mezzarobba and Mohab Safey El Din. Computing roadmaps in smooth real algebraic sets. In Jean-Guillaume Dumas, editor, Proceedings of Transgressive Computing 2006, page 327–338, 2006.
@inproceedings{MezzarobbaSafey2006,
  author = {Marc Mezzarobba and Mohab {Safey El Din}},
  booktitle = {Proceedings of Transgressive Computing 2006},
  editor = {Jean-Guillaume Dumas},
  pages = {327–338},
  title = {Computing roadmaps in smooth real algebraic sets},
  url = {http://marc.mezzarobba.net/ecrits/MezzarobbaSafey_Roadmaps_v2_2006.pdf},
  year = {2006}
}
[14] Marc Mezzarobba and Bruno Salvy. Effective bounds for P-recursive sequences. Journal of Symbolic Computation, 45(10):1075–1096, 2010.
@article{MezzarobbaSalvy2010,
  author = {Marc Mezzarobba and Bruno Salvy},
  doi = {10.1016/j.jsc.2010.06.024},
  journal = {Journal of Symbolic Computation},
  number = {10},
  pages = {1075–1096},
  title = {Effective Bounds for {P}-recursive sequences},
  url = {http://arxiv.org/abs/0904.2452},
  volume = {45},
  year = {2010}
}
[15] Christoph Lauter and Marc Mezzarobba. Semi-automatic floating-point implementation of special functions. In Muller et al. [19].
@inproceedings{LauterMezzarobba2015,
  author = {Christoph Lauter and Marc Mezzarobba},
  crossref = {ARITH2015},
  title = {Semi-Automatic Floating-Point Implementation of Special Functions},
  year = {2015}
}
@proceedings{ARITH2015,
  address = {Lyon, France},
  booktitle = {ARITH~22},
  editor = {Jean-Michel Muller and Arnaud Tisserand and Julio Villalba},
  publisher = {IEEE},
  title = {Proceedings of the 22nd {IEEE} Symposium on Computer Arithmetic},
  year = {2015}
}
[16] Marc Mezzarobba. Truncation bounds for D-finite series. In preparation.
@misc{Mezzarobba-numbounds,
  author = {Marc Mezzarobba},
  note = {In preparation},
  title = {Truncation Bounds for {D}-Finite Series}
}
[17] Frédéric Chyzak, Thomas Dreyfus, Philippe Dumas, and Marc Mezzarobba. Computing solutions of linear Mahler equations. Technical Report 1612.05518, arXiv, 2016.
@techreport{ChyzakDreyfusDumasMezzarobba2016,
  author = {Frédéric Chyzak and Thomas Dreyfus and Philippe Dumas and Marc Mezzarobba},
  institution = {arXiv},
  number = {1612.05518},
  title = {Computing solutions of linear {M}ahler equations},
  year = {2016}
}
[18] Marc Mezzarobba. Rigorous multiple-precision evaluation of D-finite functions in SageMath. Technical Report 1607.01967, arXiv, 2016. Extended abstract of a talk at the 5th International Congress on Mathematical Software.
@techreport{Mezzarobba2016,
  author = {Marc Mezzarobba},
  institution = {arXiv},
  note = {Extended abstract of a talk at the 5th International Congress on Mathematical Software},
  number = {1607.01967},
  title = {Rigorous Multiple-Precision Evaluation of {D}-Finite Functions in {S}age{M}ath},
  year = {2016}
}
[19] Jean-Michel Muller, Arnaud Tisserand, and Julio Villalba, editors. Proceedings of the 22nd IEEE Symposium on Computer Arithmetic, Lyon, France, 2015. IEEE.
@proceedings{ARITH2015,
  address = {Lyon, France},
  booktitle = {ARITH~22},
  editor = {Jean-Michel Muller and Arnaud Tisserand and Julio Villalba},
  publisher = {IEEE},
  title = {Proceedings of the 22nd {IEEE} Symposium on Computer Arithmetic},
  year = {2015}
}
[20] ISSAC 2013: Proceedings of the 38th international symposium on Symbolic and algebraic computation. ACM, 2013.
@proceedings{ISSAC2013,
  booktitle = {{ISSAC} '13},
  location = {Boston, MA, USA},
  publisher = {ACM},
  title = {{ISSAC} 2013: Proceedings of the 38th international symposium on Symbolic and algebraic computation},
  year = {2013}
}
[21] Komei Fukuda, Joris van der Hoeven, Michael Joswig, and Nobuki Takayama, editors. Mathematical Software – ICMS 2010, volume 6327 of Lecture Notes in Computer Science. Springer, 2010.
@proceedings{ICMS2010,
  booktitle = {Mathematical Software — ICMS 2010},
  editor = {Komei Fukuda and Joris van der Hoeven and Michael Joswig and Nobuki Takayama},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Mathematical Software – {ICMS} 2010},
  volume = {6327},
  year = {2010}
}
[22] V. P. Gerdt, W. Koepf, E. W. Mayr, and E. V. Vorozhtsov, editors. Computer Algebra in Scientific Computing, number 7442 in Lecture Notes in Computer Science. Springer, 2012.
@proceedings{CASC2012,
  booktitle = {CASC 2012},
  editor = {V. P. Gerdt and W. Koepf and E. W. Mayr and E. V. Vorozhtsov},
  number = {7442},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Computer Algebra in Scientific Computing},
  year = {2012}
}
[23] Alberto Nannarelli, Peter-Michael Seidel, and Ping Tak Peter Tang, editors. Proceedings of the 21st IEEE Symposium on Computer Arithmetic, Austin, Texas, USA, 2013. IEEE.
@proceedings{ARITH2013,
  address = {Austin, Texas, USA},
  booktitle = {ARITH~21},
  editor = {Alberto Nannarelli and Peter-Michael Seidel and Ping Tak Peter Tang},
  publisher = {IEEE},
  title = {Proceedings of the 21st {IEEE} Symposium on Computer Arithmetic},
  year = {2013}
}
[24] Stephen M. Watt, editor. ISSAC '10: Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation. ACM, 2010.
@proceedings{ISSAC2010,
  booktitle = {{ISSAC} '10},
  editor = {Stephen M. Watt},
  isbn = {978-1-4503-0150-3},
  location = {Munich, Germany},
  publisher = {ACM},
  title = {{ISSAC} '10: Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation},
  year = {2010}
}