Publications HAL de Mezzarobba

2017

titre
Rigorous uniform approximation of D-finite functions using Chebyshev expansions
auteur
Alexandre Benoit, Mioara Joldes, Marc Mezzarobba
article
Mathematics of Computation, American Mathematical Society, 2017, 86 (305), pp.1303-1341. 〈http://www.ams.org/journals/mcom/2017-86-305/S0025-5718-2016-03135-X/〉
identifiant
hal-01022420
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01022420/file/unifapprox.pdf BibTex

2016

titre
Rigorous Multiple-Precision Evaluation of D-Finite Functions in SageMath
auteur
Marc Mezzarobba
article
5th International Congress on Mathematical Software (ICMS~2016), Jul 2016, Berlin, Germany. 〈http://icms2016.zib.de/〉
identifiant
hal-01342769
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01342769/file/mezzarobba.pdf BibTex
titre
Computing solutions of linear Mahler equations
auteur
Frédéric Chyzak, Thomas Dreyfus, Philippe Dumas, Marc Mezzarobba
article
2016
identifiant
hal-01418653
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01418653/file/mahlersols.pdf BibTex
titre
Comparison between binary and decimal floating-point numbers
auteur
Nicolas Brisebarre, Christoph Lauter, Marc Mezzarobba, Jean-Michel Muller
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2016, 65 (7), pp.2032-2044. 〈10.1109/TC.2015.2479602〉
identifiant
hal-01021928
DOI
DOI : 10.1109/TC.2015.2479602
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01021928/file/Compar-IEEETC.pdf BibTex

2015

titre
Semi-Automatic Floating-Point Implementation of Special Functions
auteur
Christoph Lauter, Marc Mezzarobba
article
IEEE 22nd Symposium on Computer Arithmetic, ARITH 22, Jun 2015, Lyon, France. IEEE, pp.58-65, 2015, 〈10.1109/ARITH.2015.12〉
identifiant
hal-01137953
DOI
DOI : 10.1109/ARITH.2015.12
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01137953/file/frankenstein.pdf BibTex

2013

titre
Finding Hyperexponential Solutions of Linear ODEs by Numerical Evaluation
auteur
Fredrik Johansson, Manuel Kauers, Marc Mezzarobba
article
ISSAC - 28th International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, Massachusetts, United States. 2013
identifiant
hal-00818789
Accès au bibtex
https://arxiv.org/pdf/1301.2486 BibTex
titre
Comparison between binary64 and decimal64 floating-point numbers
auteur
Nicolas Brisebarre, Marc Mezzarobba, Jean-Michel Muller, Christoph Lauter
article
Alberto Nannarelli and Peter-Michael Seidel and Ping Tak Peter Tang. 21st IEEE Symposium on Computer Arithmetic, Apr 2013, Austin, TX, United States. IEEE Computer Society, pp.145-152, 2013, 〈10.1109/ARITH.2013.23〉
identifiant
ensl-00737881
DOI
DOI : 10.1109/ARITH.2013.23
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00737881/file/Compar-Arith.pdf BibTex
titre
Multiple precision evaluation of the Airy Ai function with reduced cancellation
auteur
Sylvain Chevillard, Marc Mezzarobba
article
Alberto Nannarelli and Peter-Michael Seidel and Ping Tak Peter Tang. 21st IEEE Symposium on Computer Arithmetic, 2013, Austin, TX, United States. pp.175-182, 2013, 〈10.1109/ARITH.2013.33〉
identifiant
hal-00767085
DOI
DOI : 10.1109/ARITH.2013.33
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00767085/file/recond_Ai_arith.pdf BibTex
titre
Calcul mathématique avec Sage
auteur
Alexandre Casamayou, Nathann Cohen, Guillaume Connan, Thierry Dumont, Laurent Fousse, Francois Maltey, Matthias Meulien, Marc Mezzarobba, Clément Pernet, Nicolas M. Thiéry, Paul Zimmermann
article
CreateSpace, pp.468, 2013, 9781481191043
identifiant
inria-00540485
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00540485/file/sagebook-web-20130530.pdf BibTex

2012

titre
A Note on the Space Complexity of Fast D-Finite Function Evaluation
auteur
Marc Mezzarobba
article
Gerdt, V.P. and Koepf, W. and Mayr, E.W. and Vorozhtsov, E.V. CASC - Computer Algebra in Scientific Computing, Sep 2012, Maribor, Slovenia. Springer, 7442, pp.212-223, 2012, 〈10.1007/978-3-642-32973-9_18〉
identifiant
hal-00687818
DOI
DOI : 10.1007/978-3-642-32973-9_18
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00687818/file/paper43-mezzarobba.pdf BibTex

2011

titre
Autour de l'évaluation numérique des fonctions D-finies
auteur
Marc Mezzarobba
article
Calcul formel [cs.SC]. Ecole Polytechnique X, 2011. Français
identifiant
pastel-00663017
Accès au texte intégral et bibtex
https://pastel.archives-ouvertes.fr/pastel-00663017/file/these-mezzarobba-20120124.pdf BibTex

2010

titre
The Dynamic Dictionary of Mathematical Functions (DDMF)
auteur
Alexandre Benoit, Frédéric Chyzak, Alexis Darrasse, Stefan Gerhold, Marc Mezzarobba, Bruno Salvy
article
Fukuda, Komei and van der Hoeven, Joris and Joswig, Michael and Takayama, Nobuki. ICMS 2010 - Third International Congress on Mathematical Software, Sep 2010, Kobe, Japan. Springer, 6327, pp.35-41, 2010, Lecture Notes in Computer Science
identifiant
hal-00783048
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00783048/file/ddmf.pdf BibTex
titre
NumGfun: a Package for Numerical and Analytic Computation with D-finite Functions
auteur
Marc Mezzarobba
article
Stephen M. Watt. ISSAC - International Symposium on Symbolic and Algebraic Computation, Jul 2010, Munich, Germany. ACM, pp.139-146, 2010, Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation. 〈10.1145/1837934.1837965〉
identifiant
inria-00456983
DOI
DOI : 10.1145/1837934.1837965
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00456983/file/NumGfun.pdf BibTex
titre
Effective Bounds for P-Recursive Sequences
auteur
Marc Mezzarobba, Bruno Salvy
article
Journal of Symbolic Computation, Elsevier, 2010, 45 (10), pp.1075-1096. 〈10.1016/j.jsc.2010.06.024〉
identifiant
inria-00376219
DOI
DOI : 10.1016/j.jsc.2010.06.024
Accès au bibtex
https://arxiv.org/pdf/0904.2452 BibTex

2006

titre
Computing roadmaps in smooth real algebraic sets
auteur
Marc Mezzarobba, Mohab Safey El Din
article
Jean-Guillaume Dumas. Transgressive Computing 2006, Apr 2006, Granada, Spain. pp.327-338, 2006
identifiant
hal-00818797
Accès au bibtex
BibTex