Nombre de documents


Article dans une revue4 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. ACM, pp.211­­-218, 2013, 〈10.1145/2465506.2465513〉. 〈hal-00818789〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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, 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

  • Paul Zimmermann, Alexandre Casamayou, Nathann Cohen, Guillaume Connan, Thierry Dumont, et al.. Mathematical Computation with SageMath. SIAM, In press. 〈hal-01646401〉

Pré-publication, Document de travail2 documents

  • Marc Mezzarobba. Truncation Bounds for Differentially Finite Series. 2018. 〈hal-01817568〉
  • Fredrik Johansson, Marc Mezzarobba. Fast and rigorous arbitrary-precision computation of Gauss-Legendre quadrature nodes and weights. 2018. 〈hal-01705612v2〉

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〉