Accéder directement au contenu

Marc Mezzarobba

26
Documents

Publications

Image document

Computing error bounds for asymptotic expansions of regular P-recursive sequences

Ruiwen Dong , Stephen Melczer , Marc Mezzarobba
Mathematics of Computation, inPress
Article dans une revue hal-03902210v2
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

The Dynamic Dictionary of Mathematical Functions (DDMF)

Alexandre Benoit , Frédéric Chyzak , Alexis Darrasse , Stefan Gerhold , Marc Mezzarobba
ICMS 2010 - Third International Congress on Mathematical Software, Sep 2010, Kobe, Japan. pp.35-41
Communication dans un congrès hal-00783048v1
Image document

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
Image document

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