Marc Mezzarobba
RISC postdoc,
JKU Linz
Room
-2.10,
RISC Extension
[more...]
☎ +43 732 2468 9957
✍ marc (A) mezzarobba DOT net
What's New
- 2013-06-13
- Slides of an introductory talk about (the little I understand about) resummation theory applied to solutions of linear differential equations.
- 2013-06-03
- The print version of our book Calcul mathématique avec Sage is now available!
Writings
Preprints
-
Rigorous Uniform Approximation of D-Finite Functions Using Chebyshev Expansions.
With
Alexandre Benoit and
Mioara Joldeş.
Draft. Supersedes Chapter 9 of my thesis.
[bib]
[pdf]
Research Papers
-
Finding Hyperexponential Solutions of Linear ODEs by Numerical Evaluation.
With
Fredrik Johansson and
Manuel Kauers.
ISSAC 2013,
to appear.
[bib]
[pdf]
[arXiv]
-
Multiple precision evaluation of the Airy Ai function with reduced cancellation.
With
Sylvain Chevillard.
ARITH 21 (2013).
[bib]
[pdf]
[HAL]
[arXiv]
[code]
[talk]
-
Comparison between binary64 and decimal64 floating-point numbers.
With
Nicolas Brisebarre,
Christoph Lauter, and
Jean-Michel Muller.
ARITH 21 (2013).
[bib]
[pdf]
[HAL]
[code]
-
A Note on the Space Complexity of Fast D‑Finite Function Evaluation.
CASC 2012.
[bib]
[pdf]
[HAL]
[arXiv]
[talk]
-
The Dynamic Dictionary of Mathematical Functions (DDMF).
With
Alexandre Benoit,
Frédéric Chyzak,
Alexis Darrasse,
Stefan Gerhold, and
Bruno Salvy.
ICMS 2010
(LNCS 6327), pages 35-41,
doi:10.1007/978-3-642-15582-6_7.
[bib]
[pdf]
[HAL]
[www]
-
NumGfun: a Package for Numerical and Analytic Computation with D-finite Functions.
ISSAC 2010,
pages 139-146,
doi:10.1145/1837934.1837965.
(Significantly extended French version in Chapters 1, 7, and 8 of my PhD thesis.)
[bib]
[pdf]
[HAL]
[arXiv]
[talk]
[code]
[manual]
-
Effective Bounds for P-Recursive Sequences.
With Bruno Salvy.
Journal of Symbolic Computation 45(10):1075–1096, 2010,
doi:10.1016/j.jsc.2010.06.024.
(Extended French version available in Chapters 4 and 5 of my thesis.)
[bib]
[pdf (preliminary version)]
[arXiv]
[code]
-
Computing roadmaps in smooth real algebraic sets.
With Mohab Safey El Din.
Transgressive Computing 2006.
[bib]
[pdf]
Dissertations and Reports (in French)
-
Autour de l'évaluation numérique des fonctions D-finies.
Thèse de doctorat (PhD thesis), École polytechnique, 2011.
École polytechnique 2012 PhD award.
[bib]
[pdf]
[TEL]
[code]
[defense]
-
Génération automatique de procédures numériques pour les fonctions D-finies.
Master thesis (supervised by Bruno Salvy),
Master parisien de recherche en informatique, 2007.
[bib]
[pdf]
[www]
[defense]
-
Analyse en théorie et en pratique du calcul de cartes routières.
Research internship report (supervised by Mohab Safey El Din, LIP6), 2005.
Available upon request.
-
Comment démontrer des formules sans effort.
`Maîtrise' report, with
Sam Zoghaib,
supervised by
François Loeser,
2005.
[pdf]
Sage Book
-
Calcul mathématique avec Sage.
With
Alexandre Casamayou,
Nathann Cohen,
Guillaume Connan,
Thierry Dumont,
Laurent Fousse,
François Maltey,
Matthias Meulien,
Clément Pernet,
Nicolas M. Thiéry
, and
Paul Zimmermann
(coordinator).
CreateSpace, 2013. ISBN 1481191047.
[bib]
[www]
[createspace.com]
[amazon.fr]
Others
-
NumGfun User Manual.
Last updated June 4, 2012.
[pdf]
-
Polynomial Approximation and Floating-Point Numbers.
Summary of a talk by
Sylvain Chevillard,
séminaire Algo proceedings,
2007.
[pdf]
-
Computing Monodromy Groups Defined by Plane Algebraic Curves.
Summary of a talk by
Adrien Poteaux,
2007.
[pdf]
Software
-
NumGfun: Maple module for manipulating D-finite analytic functions. Distributed as a submodule of gfun, itself part of Algolib. LGPL.
-
mmaple: a Mathemagix module to interface Mathemagix with Maple. Under development.
[svn]
-
code/,
DDMF,
Sage
Recent & Selected Talks
-
Linear ODEs & Divergent Series.
Algorithmic Combinatorics Seminar (RISC, JKU, Hagenberg/Linz), June 5, 2013.
[slides]
-
Présentation de l'“Editing Sprint” Wikipédia.
JNCF, 14 mai 2013.
[slides]
-
Evaluation of Ai(x) with Reduced Cancellation.
ARITH 21, Austin, Texas, USA, April 10, 2013.
[slides]
-
Évaluation de Ai(x) : cancellation catastrophique & comment y échapper.
Séminaire BiPoP-CASYS, Grenoble, 5 avril 2013.
[slides]
-
Autour de l'évaluation numérique des fonctions D-finies.
Réunion du département CalSci, LIP6, Paris, 19 février 2013.
[slides]
-
Cancellation in the evaluation of Ai(x), and how to deal with it.
AriC Tuesday work session, January 29, 2013.
[notes]
-
Around the Numerical Evaluation of D-Finite Functions.
Algorithmic Combinatorics Seminar (RISC, JKU, Hagenberg/Linz), November 28, 2012.
[slides]
-
Space Complexity of Fast D-Finite Function Evaluation.
CASC 2012 (Maribor, Slovenia), September 5, 2012.
[slides]
-
L'interface Mathemagix-Maple.
Journées nationales de
calcul formel, Luminy, 17 novembre 2011.
[slides]
[c++]
-
Autour de l'évaluation numérique des fonctions D-finies.
Soutenance de thèse, École polytechnique, Palaiseau, 27 octobre 2011.
[slides]
-
Introduction à Sage.
Mini-symposium Sage du congrès
SMAI 2011,
Guidel, 23 mai 2011.
[slides]
[démo]
-
NumGfun: a Package for Numerical and Analytic Computation with
D-finite Functions.
ISSAC,
Munich, 27 juillet 2010.
[slides]
[démo]
[article]
-
Comment calculer arctan z ?
Cal4doc (séminaire de calcul formel des doctorants de l'École polytechnique et des environs), 1er juillet 2009.
[slides]
Student(s)
-
Email:
marc (A) mezzarobba DOT net
(firstname at lastname dot net).
-
PGP : 1024D/7631E38D
-
Work
-
Home (in France):
[map]
Marc Mezzarobba
29, rue Mathieu Varille
F-69007 Lyon
☎ +33 972312821
-
Student dormitory where I'm staying in Austria:
[map]
Marc Mezzarobba (Z. 4313)
Studentenheim Hagenberg
Softwarepark 23
A-4232 Hagenberg
☎ +43-7236-7973-4313
Miscellaneous Personal Stuff
...is available on the French version of this page.