Search - Archive ouverte HAL Access content directly

Filter your results

25 Results
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⟩
Journal articles hal-02984459v3
Image document

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

Ruiwen Dong , Stephen Melczer , Marc Mezzarobba
Mathematics of Computation, In press
Journal articles hal-03902210v2
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⟩
Conference papers hal-03580658v4
Image document

Sequence Positivity Through Numeric Analytic Continuation: Uniqueness of the Canham Model for Biomembranes

Stephen Melczer , Marc Mezzarobba
Combinatorial Theory, 2022, 2 (2)
Journal articles hal-03366860v1
Image document

Fast evaluation of some p-adic transcendental functions

Xavier Caruso , Marc Mezzarobba , Nobuki Takayama , Tristan Vaccon
Preprints, Working Papers, ... hal-03263044v1
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⟩
Journal articles hal-02145359v1
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
Conference papers hal-02110556v1
Image document

Multivariate Ore Polynomials in SageMath

Manuel Kauers , Marc Mezzarobba
ACM Communications in Computer Algebra, 2019, 53 (2), pp.57-60
Journal articles hal-02145876v1
Image document

Truncation Bounds for Differentially Finite Series

Marc Mezzarobba
Annales Henri Lebesgue, 2019, 2, pp.99-148. ⟨10.5802/ahl.17⟩
Journal articles hal-01817568v2

Computational Mathematics with SageMath

Paul Zimmermann , Alexandre Casamayou , Nathann Cohen , Guillaume Connan , Thierry Dumont , et al.
SIAM, 2018, 978-1-61197-545-1. ⟨10.1137/1.9781611975468⟩
Books hal-01646401v1
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⟩
Journal articles hal-01418653v2
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⟩
Journal articles hal-01705612v2
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
Journal articles hal-01022420v1
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
Conference papers hal-01342769v1
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⟩
Journal articles hal-01021928v2
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⟩
Conference papers hal-01137953v1

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⟩
Conference papers hal-00818789v1
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⟩
Conference papers ensl-00737881v4
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⟩
Conference papers 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⟩
Conference papers hal-00687818v2
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 : ⟩
Theses pastel-00663017v1
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
Conference papers hal-00783048v1
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⟩
Conference papers inria-00456983v2

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⟩
Journal articles inria-00376219v1
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
Conference papers hal-00818797v1