Number of documents

18


Journal articles5 documents

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, ...1 document

  • Marc Mezzarobba. Truncation Bounds for Differentially Finite Series. 2018. ⟨hal-01817568⟩

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〉