Nombre de documents


Article dans une revue3 documents

Communication dans un congrès9 documents

  • 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. IEEE, pp.58-65, 2015, 〈10.1109/ARITH.2015.12〉. 〈hal-01137953〉
  • 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. 2013. 〈hal-00818789〉
  • Nicolas Brisebarre, Marc Mezzarobba, Jean-Michel Muller, Christoph Lauter. Comparison between binary64 and decimal64 floating-point numbers. Alberto Nannarelli and Peter-Michael Seidel and Ping Tak Peter Tang. 21st IEEE Symposium on Computer Arithmetic, Apr 2013, Austin, TX, United States. IEEE Computer Society, pp.145-152, 2013, 〈10.1109/ARITH.2013.23〉. 〈ensl-00737881v4〉
  • Sylvain Chevillard, Marc Mezzarobba. Multiple precision evaluation of the Airy Ai function with reduced cancellation. Alberto Nannarelli and Peter-Michael Seidel and Ping Tak Peter Tang. 21st IEEE Symposium on Computer Arithmetic, 2013, Austin, TX, United States. pp.175-182, 2013, 〈10.1109/ARITH.2013.33〉. 〈hal-00767085v2〉
  • Marc Mezzarobba. A Note on the Space Complexity of Fast D-Finite Function Evaluation. Gerdt, V.P. and Koepf, W. and Mayr, E.W. and Vorozhtsov, E.V. CASC - Computer Algebra in Scientific Computing, Sep 2012, Maribor, Slovenia. Springer, 7442, pp.212-223, 2012, 〈10.1007/978-3-642-32973-9_18〉. 〈hal-00687818v2〉
  • Alexandre Benoit, Frédéric Chyzak, Alexis Darrasse, Stefan Gerhold, Marc Mezzarobba, et al.. The Dynamic Dictionary of Mathematical Functions (DDMF). Fukuda, Komei and van der Hoeven, Joris and Joswig, Michael and Takayama, Nobuki. ICMS 2010 - Third International Congress on Mathematical Software, Sep 2010, Kobe, Japan. Springer, 6327, pp.35-41, 2010, Lecture Notes in Computer Science. 〈hal-00783048〉
  • Marc Mezzarobba. NumGfun: a Package for Numerical and Analytic Computation with D-finite Functions. Stephen M. Watt. ISSAC - International Symposium on Symbolic and Algebraic Computation, Jul 2010, Munich, Germany. ACM, pp.139-146, 2010, Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation. 〈10.1145/1837934.1837965〉. 〈inria-00456983v2〉
  • Marc Mezzarobba, Mohab Safey El Din. Computing roadmaps in smooth real algebraic sets. Jean-Guillaume Dumas. Transgressive Computing 2006, Apr 2006, Granada, Spain. pp.327-338, 2006. 〈hal-00818797〉

Ouvrage (y compris édition critique et traduction)1 document

  • Alexandre Casamayou, Nathann Cohen, Guillaume Connan, Thierry Dumont, Laurent Fousse, et al.. Mathematical Computation with SageMath (temporary title). published by the authors, In press. 〈hal-01646401〉

Pré-publication, Document de travail2 documents

  • Fredrik Johansson, Marc Mezzarobba. Fast and rigorous arbitrary-precision computation of Gauss-Legendre quadrature nodes and weights. 2018. 〈hal-01705612〉
  • Frédéric Chyzak, Thomas Dreyfus, Philippe Dumas, Marc Mezzarobba. Computing solutions of linear Mahler equations. 2018. 〈hal-01418653v2〉

Thèse1 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〉