Marc Mezzarobba

26

Documents

Publications

	Computing error bounds for asymptotic expansions of regular P-recursive sequences Ruiwen Dong , Stephen Melczer , Marc Mezzarobba Mathematics of Computation, inPress Journal articles 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⟩ Journal articles hal-02984459v3
	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
	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
	Truncation Bounds for Differentially Finite Series Marc Mezzarobba Annales Henri Lebesgue, 2019, 2, pp.99-148. ⟨10.5802/ahl.17⟩ Journal articles hal-01817568v2
	Multivariate Ore Polynomials in SageMath Manuel Kauers , Marc Mezzarobba ACM Communications in Computer Algebra, 2019, 53 (2), pp.57-60 Journal articles hal-02145876v1
	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
	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
	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
	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
	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

	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
	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
	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
	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
	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
	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
	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
	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
	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 Conference papers hal-00783048v1
	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
	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

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

	Rounding Error Analysis of an Orbital Collision Probability Evaluation Algorithm Denis Arzelier , Florent Bréhard , Mioara Joldes , Marc Mezzarobba 2024 Preprints, Working Papers, ... hal-04466875v1
	Fast evaluation of some p-adic transcendental functions Xavier Caruso , Marc Mezzarobba , Nobuki Takayama , Tristan Vaccon 2021 Preprints, Working Papers, ... hal-03263044v1

	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