Marc Mezzarobba

27
Documents

Publications

4
3
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
2
1
2
2
3
3
1
2
1
3
1
1
3
1

Publications

Image document

First-order factors of linear Mahler operators

Frédéric Chyzak , Thomas Dreyfus , Philippe Dumas , Marc Mezzarobba
Journal of Symbolic Computation, In press, ⟨10.1016/j.jsc.2025.102424⟩
Article dans une revue hal-04502052 v3
Image document

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-03902210 v2
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-02984459 v3
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-03366860 v1
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-02145359 v1
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-02145876 v1
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-01817568 v2
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-01418653 v2
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-01705612 v2
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-01022420 v1
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-01021928 v2

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

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-04466875 v1
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-03580658 v4
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-02110556 v1
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-01342769 v1
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-01137953 v1
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-00737881 v4

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-00818789 v1
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-00767085 v2
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-00687818 v2
Image document

The Dynamic Dictionary of Mathematical Functions (DDMF)

Alexandre Benoit , Frédéric Chyzak , Alexis Darrasse , Stefan Gerhold , Marc Mezzarobba et al.
ICMS 2010 - Third International Congress on Mathematical Software, Sep 2010, Kobe, Japan. pp.35-41
Communication dans un congrès hal-00783048 v1
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-00456983 v2
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-00818797 v1