Skip to Main content
Number of documents

20


Journal articles6 documents

  • Marc Mezzarobba. Truncation Bounds for Differentially Finite Series. Annales Henri Lebesgue, UFR de Mathématiques - IRMAR, 2019, 2, pp.99-148. ⟨10.5802/ahl.17⟩. ⟨hal-01817568v2⟩
  • Fredrik Johansson, Marc Mezzarobba. Fast and rigorous arbitrary-precision computation of Gauss-Legendre quadrature nodes and weights. SIAM Journal on Scientific Computing, Society for Industrial and Applied Mathematics, 2018, 40 (6), pp.C726-C747. ⟨10.1137/18M1170133⟩. ⟨hal-01705612v2⟩
  • Frédéric Chyzak, Thomas Dreyfus, Philippe Dumas, Marc Mezzarobba. Computing solutions of linear Mahler equations. Mathematics of Computation, American Mathematical Society, 2018, 87, pp.2977-3021. ⟨10.1090/mcom/3359⟩. ⟨hal-01418653v2⟩
  • Alexandre Benoit, Mioara Joldes, Marc Mezzarobba. Rigorous uniform approximation of D-finite functions using Chebyshev expansions. Mathematics of Computation, American Mathematical Society, 2017, 86 (305), pp.1303-1341. ⟨hal-01022420⟩
  • Nicolas Brisebarre, Christoph Lauter, Marc Mezzarobba, Jean-Michel Muller. Comparison between binary and decimal floating-point numbers. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2016, 65 (7), pp.2032-2044. ⟨10.1109/TC.2015.2479602⟩. ⟨hal-01021928v2⟩
  • Marc Mezzarobba, Bruno Salvy. Effective Bounds for P-Recursive Sequences. Journal of Symbolic Computation, Elsevier, 2010, 45 (10), pp.1075-1096. ⟨10.1016/j.jsc.2010.06.024⟩. ⟨inria-00376219⟩

Conference papers10 documents

  • Pierre Lairez, Marc Mezzarobba, Mohab Safey El Din. Computing the volume of compact semi-algebraic sets. ISSAC 2019 - International Symposium on Symbolic and Algebraic Computation, Jul 2019, Beijing, China. ⟨hal-02110556⟩
  • Marc Mezzarobba. Rigorous Multiple-Precision Evaluation of D-Finite Functions in SageMath. 5th International Congress on Mathematical Software (ICMS~2016), Jul 2016, Berlin, Germany. ⟨hal-01342769⟩
  • Christoph Lauter, Marc Mezzarobba. Semi-Automatic Floating-Point Implementation of Special Functions. IEEE 22nd Symposium on Computer Arithmetic, ARITH 22, Jun 2015, Lyon, France. pp.58-65, ⟨10.1109/ARITH.2015.12⟩. ⟨hal-01137953⟩
  • Sylvain Chevillard, Marc Mezzarobba. Multiple precision evaluation of the Airy Ai function with reduced cancellation. 21st IEEE Symposium on Computer Arithmetic, 2013, Austin, TX, United States. pp.175-182, ⟨10.1109/ARITH.2013.33⟩. ⟨hal-00767085v2⟩
  • Fredrik Johansson, Manuel Kauers, Marc Mezzarobba. Finding Hyperexponential Solutions of Linear ODEs by Numerical Evaluation. ISSAC - 28th International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, Massachusetts, United States. pp.211­­-218, ⟨10.1145/2465506.2465513⟩. ⟨hal-00818789⟩
  • Nicolas Brisebarre, Marc Mezzarobba, Jean-Michel Muller, Christoph Lauter. Comparison between binary64 and decimal64 floating-point numbers. 21st IEEE Symposium on Computer Arithmetic, Apr 2013, Austin, TX, United States. pp.145-152, ⟨10.1109/ARITH.2013.23⟩. ⟨ensl-00737881v4⟩
  • Marc Mezzarobba. A Note on the Space Complexity of Fast D-Finite Function Evaluation. CASC - Computer Algebra in Scientific Computing, Sep 2012, Maribor, Slovenia. pp.212-223, ⟨10.1007/978-3-642-32973-9_18⟩. ⟨hal-00687818v2⟩
  • Marc Mezzarobba. NumGfun: a Package for Numerical and Analytic Computation with D-finite Functions. ISSAC - International Symposium on Symbolic and Algebraic Computation, Jul 2010, Munich, Germany. pp.139-146, ⟨10.1145/1837934.1837965⟩. ⟨inria-00456983v2⟩
  • Alexandre Benoit, Frédéric Chyzak, Alexis Darrasse, Stefan Gerhold, Marc Mezzarobba, et al.. The Dynamic Dictionary of Mathematical Functions (DDMF). ICMS 2010 - Third International Congress on Mathematical Software, Sep 2010, Kobe, Japan. pp.35-41. ⟨hal-00783048⟩
  • Marc Mezzarobba, Mohab Safey El Din. Computing roadmaps in smooth real algebraic sets. Transgressive Computing 2006, Apr 2006, Granada, Spain. pp.327-338. ⟨hal-00818797⟩

Books1 document

Preprints, Working Papers, ...2 documents

  • Horatio Boedihardjo, Joscha Diehl, Marc Mezzarobba, Hao Ni. The expected signature of Brownian motion stopped on the boundary of a circle has finite radius of convergence. 2019. ⟨hal-02145359⟩
  • Manuel Kauers, Marc Mezzarobba. Multivariate Ore Polynomials in SageMath. 2019. ⟨hal-02145876⟩

Theses1 document

  • Marc Mezzarobba. Autour de l'évaluation numérique des fonctions D-finies. Calcul formel [cs.SC]. Ecole Polytechnique X, 2011. Français. ⟨pastel-00663017⟩