Marc Mezzarobba

Publications

Article dans une revue (12)

First-order factors of linear Mahler operators Frédéric Chyzak,Thomas Dreyfus,Philippe Dumas,Marc Mezzarobba Journal of Symbolic Computation, 2025, ⟨10.1016/j.jsc.2025.102424⟩ Article dans une revue hal-04502052v3
Computing error bounds for asymptotic expansions of regular P-recursive sequences Ruiwen Dong,Stephen Melczer,Marc Mezzarobba Mathematics of Computation, 2024, 93, pp.977-1017 Article dans une revue hal-03902210v2
Rounding Error Analysis of Linear Recurrences Using Generating Series Marc Mezzarobba Electronic Transactions on Numerical Analysis, 2023, 58, pp.196--227. ⟨10.1553/etna_vol58s196⟩ Article dans une revue hal-02984459v3
Sequence Positivity Through Numeric Analytic Continuation: Uniqueness of the Canham Model for Biomembranes Stephen Melczer,Marc Mezzarobba Combinatorial Theory, 2022, 2 (2) Article dans une revue hal-03366860v1
The expected signature of Brownian motion stopped on the boundary of a circle has finite radius of convergence Horatio Boedihardjo,Joscha Diehl,Marc Mezzarobba,Hao Ni Bull. London Math Soc, 2021, 53 (1), pp.285-299. ⟨10.1112/blms.12420⟩ Article dans une revue hal-02145359v1
Multivariate Ore Polynomials in SageMath Manuel Kauers,Marc Mezzarobba ACM Communications in Computer Algebra, 2019, 53 (2), pp.57-60 Article dans une revue hal-02145876v1
Truncation Bounds for Differentially Finite Series Marc Mezzarobba Annales Henri Lebesgue, 2019, 2, pp.99-148. ⟨10.5802/ahl.17⟩ Article dans une revue hal-01817568v2
Fast and rigorous arbitrary-precision computation of Gauss-Legendre quadrature nodes and weights Fredrik Johansson,Marc Mezzarobba SIAM Journal on Scientific Computing, 2018, 40 (6), pp.C726-C747. ⟨10.1137/18M1170133⟩ Article dans une revue hal-01705612v2
Computing solutions of linear Mahler equations Frédéric Chyzak,Thomas Dreyfus,Philippe Dumas,Marc Mezzarobba Mathematics of Computation, 2018, 87, pp.2977-3021. ⟨10.1090/mcom/3359⟩ Article dans une revue hal-01418653v2
Rigorous uniform approximation of D-finite functions using Chebyshev expansions Alexandre Benoit,Mioara Joldes,Marc Mezzarobba Mathematics of Computation, 2017, 86 (305), pp.1303-1341 Article dans une revue hal-01022420v1
Comparison between binary and decimal floating-point numbers Nicolas Brisebarre,Christoph Lauter,Marc Mezzarobba,Jean-Michel Muller IEEE Transactions on Computers, 2016, 65 (7), pp.2032-2044. ⟨10.1109/TC.2015.2479602⟩ Article dans une revue hal-01021928v2
Effective Bounds for P-Recursive Sequences Marc Mezzarobba,Bruno Salvy Journal of Symbolic Computation, 2010, 45 (10), pp.1075-1096. ⟨10.1016/j.jsc.2010.06.024⟩ Article dans une revue inria-00376219v1

Communication dans un congrès (12)

Rounding Error Analysis of an Orbital Collision Probability Evaluation Algorithm Denis Arzelier,Florent Bréhard,Mioara Joldes,Marc Mezzarobba 31st IEEE International Symposium on Computer Arithmetic, Jun 2024, Malaga, Spain. pp.96-103, ⟨10.1109/ARITH61463.2024.00025⟩ Communication dans un congrès hal-04466875v1
Symbolic-Numeric Factorization of Differential Operators Frédéric Chyzak,Alexandre Goyer,Marc Mezzarobba ISSAC '22, Jul 2022, Lille, France. ⟨10.1145/3476446.3535503⟩ Communication dans un congrès hal-03580658v4
Computing the volume of compact semi-algebraic sets Pierre Lairez,Marc Mezzarobba,Mohab Safey El Din ISSAC 2019 - International Symposium on Symbolic and Algebraic Computation, Jul 2019, Beijing, China Communication dans un congrès hal-02110556v1
Rigorous Multiple-Precision Evaluation of D-Finite Functions in SageMath Marc Mezzarobba 5th International Congress on Mathematical Software (ICMS~2016), Jul 2016, Berlin, Germany Communication dans un congrès hal-01342769v1
Semi-Automatic Floating-Point Implementation of Special Functions Christoph Lauter,Marc Mezzarobba IEEE 22nd Symposium on Computer Arithmetic, ARITH 22, Jun 2015, Lyon, France. pp.58-65, ⟨10.1109/ARITH.2015.12⟩ Communication dans un congrès hal-01137953v1
Comparison between binary64 and decimal64 floating-point numbers Nicolas Brisebarre,Marc Mezzarobba,Jean-Michel Muller,Christoph Lauter 21st IEEE Symposium on Computer Arithmetic, Apr 2013, Austin, TX, United States. pp.145-152, ⟨10.1109/ARITH.2013.23⟩ Communication dans un congrès ensl-00737881v4
Finding Hyperexponential Solutions of Linear ODEs by Numerical Evaluation Fredrik Johansson,Manuel Kauers,Marc Mezzarobba ISSAC - 28th International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, Massachusetts, United States. pp.211­­-218, ⟨10.1145/2465506.2465513⟩ Communication dans un congrès hal-00818789v1
Multiple precision evaluation of the Airy Ai function with reduced cancellation Sylvain Chevillard,Marc Mezzarobba 21st IEEE Symposium on Computer Arithmetic, 2013, Austin, TX, United States. pp.175-182, ⟨10.1109/ARITH.2013.33⟩ Communication dans un congrès hal-00767085v2
A Note on the Space Complexity of Fast D-Finite Function Evaluation Marc Mezzarobba CASC - Computer Algebra in Scientific Computing, Sep 2012, Maribor, Slovenia. pp.212-223, ⟨10.1007/978-3-642-32973-9_18⟩ Communication dans un congrès hal-00687818v2
NumGfun: a Package for Numerical and Analytic Computation with D-finite Functions Marc Mezzarobba ISSAC - International Symposium on Symbolic and Algebraic Computation, Jul 2010, Munich, Germany. pp.139-146, ⟨10.1145/1837934.1837965⟩ Communication dans un congrès inria-00456983v2
The Dynamic Dictionary of Mathematical Functions (DDMF) Alexandre Benoit,Frédéric Chyzak,Alexis Darrasse,Stefan Gerhold,Marc Mezzarobbaet al. ICMS 2010 - Third International Congress on Mathematical Software, Sep 2010, Kobe, Japan. pp.35-41 Communication dans un congrès hal-00783048v1
Computing roadmaps in smooth real algebraic sets Marc Mezzarobba,Mohab Safey El Din Transgressive Computing 2006, Apr 2006, Granada, Spain. pp.327-338 Communication dans un congrès hal-00818797v1

Ouvrages (1)

Computational Mathematics with SageMath Paul Zimmermann,Alexandre Casamayou,Nathann Cohen,Guillaume Connan,Thierry Dumontet al. SIAM, 2018, 978-1-61197-545-1. ⟨10.1137/1.9781611975468⟩ Ouvrages hal-01646401v1

Pré-publication, Document de travail (2)

Rigorous numerical computation of the Stokes multipliers for linear differential equations with single level one Michèle Loday-Richaud,Marc Mezzarobba,Pascal Remy 2026 Pré-publication, Document de travail hal-05446686v1
Fast evaluation of some p-adic transcendental functions Xavier Caruso,Marc Mezzarobba,Nobuki Takayama,Tristan Vaccon 2021 Pré-publication, Document de travail hal-03263044v1

Thèse (1)

Autour de l'évaluation numérique des fonctions D-finies Marc Mezzarobba Calcul formel [cs.SC]. Ecole Polytechnique X, 2011. Français. ⟨NNT : ⟩ Thèse pastel-00663017v1