Rounding Error Analysis of Linear Recurrences Using Generating Series
Marc Mezzarobba
Journal articles
hal-02984459v3
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Symbolic-Numeric Factorization of Differential Operators
Frédéric Chyzak
,
Alexandre Goyer
,
Marc Mezzarobba
Conference papers
hal-03580658v4
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Fast evaluation of some p-adic transcendental functions
Xavier Caruso
,
Marc Mezzarobba
,
Nobuki Takayama
,
Tristan Vaccon
2021
Preprints, Working Papers, ...
hal-03263044v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Journal articles
hal-02145359v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Multivariate Ore Polynomials in SageMath
Manuel Kauers
,
Marc Mezzarobba
ACM Communications in Computer Algebra , 2019, 53 (2), pp.57-60
Journal articles
hal-02145876v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Truncation Bounds for Differentially Finite Series
Marc Mezzarobba
Journal articles
hal-01817568v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Computational Mathematics with SageMath
Paul Zimmermann
,
Alexandre Casamayou
,
Nathann Cohen
,
Guillaume Connan
,
Thierry Dumont
,
et al.
Books
hal-01646401v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Computing solutions of linear Mahler equations
Frédéric Chyzak
,
Thomas Dreyfus
,
Philippe Dumas
,
Marc Mezzarobba
Journal articles
hal-01418653v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Fast and rigorous arbitrary-precision computation of Gauss-Legendre quadrature nodes and weights
Fredrik Johansson
,
Marc Mezzarobba
Journal articles
hal-01705612v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Comparison between binary and decimal floating-point numbers
Nicolas Brisebarre
,
Christoph Lauter
,
Marc Mezzarobba
,
Jean-Michel Muller
Journal articles
hal-01021928v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Semi-Automatic Floating-Point Implementation of Special Functions
Christoph Lauter
,
Marc Mezzarobba
Conference papers
hal-01137953v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Multiple precision evaluation of the Airy Ai function with reduced cancellation
Sylvain Chevillard
,
Marc Mezzarobba
Conference papers
hal-00767085v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A Note on the Space Complexity of Fast D-Finite Function Evaluation
Marc Mezzarobba
Conference papers
hal-00687818v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Effective Bounds for P-Recursive Sequences
Marc Mezzarobba
,
Bruno Salvy
Journal articles
inria-00376219v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More