Atividade de Pesquisa

Publicações 2006-2019

• 2019
  • M. Mezzarobba : “Truncation Bounds for Differentially Finite Series”, Annales Henri Lebesgue, vol. 2, pp. 99-148 (2019)
  • P. Lairez, M. Mezzarobba, M. Safey El Din : “Computing the volume of compact semi-algebraic sets”, ISSAC 2019 - International Symposium on Symbolic and Algebraic Computation, Beijing, China, (ACM) (2019)
  • M. Kauers, M. Mezzarobba : “Multivariate Ore Polynomials in SageMath”, (2019)
  • H. Boedihardjo, J. Diehl, M. Mezzarobba, H. Ni : “The expected signature of Brownian motion stopped on the boundary of a circle has finite radius of convergence”, (2019)
• 2018
  • F. Chyzak, Th. Dreyfus, Ph. Dumas, M. Mezzarobba : “Computing solutions of linear Mahler equations”, Mathematics of Computation, vol. 87, pp. 2977-3021, (American Mathematical Society) (2018)
  • F. Johansson, M. Mezzarobba : “Fast and rigorous arbitrary-precision computation of Gauss-Legendre quadrature nodes and weights”, SIAM Journal on Scientific Computing, vol. 40 (6), pp. c726-c747, (ISBN: 1064-8275) (2018)
  • P. Zimmermann, A. Casamayou, N. Cohen, G. Connan, Th. Dumont, L. Fousse, F. Maltey, M. Meulien, M. Mezzarobba, C. Pernet, Nicolas M. Thiéry, E. Bray, J. Cremona, M. Forets, A. Ghitza, H. Thomas : “Computational Mathematics with SageMath”, (SIAM) (2018)
• 2017
  • A. Benoit, M. Joldes, M. Mezzarobba : “Rigorous uniform approximation of D-finite functions using Chebyshev expansions”, Mathematics of Computation, vol. 86 (305), pp. 1303-1341, (American Mathematical Society) (2017)
• 2016
  • N. Brisebarre, Ch. Lauter, M. Mezzarobba, J.‑M. Muller : “Comparison between binary and decimal floating-point numbers”, IEEE Transactions on Computers, vol. 65 (7), pp. 2032-2044, (Institute of Electrical and Electronics Engineers) (2016)
  • M. Mezzarobba : “Rigorous Multiple-Precision Evaluation of D-Finite Functions in SageMath”, 5^th International Congress on Mathematical Software (ICMS~2016), Berlin, Germany (2016)
• 2015
  • Ch. Lauter, M. Mezzarobba : “Semi-Automatic Floating-Point Implementation of Special Functions”, IEEE 22^nd Symposium on Computer Arithmetic, ARITH 22, Lyon, France, pp. 58-65, (IEEE) (2015)
• 2013
  • N. Brisebarre, M. Mezzarobba, J.‑M. Muller, Ch. Lauter : “Comparison between binary64 and decimal64 floating-point numbers”, 21^st IEEE Symposium on Computer Arithmetic, Austin, TX, USA, pp. 145-152 (2013)
  • F. Johansson, M. Kauers, M. Mezzarobba : “Finding Hyperexponential Solutions of Linear ODEs by Numerical Evaluation”, (2013)
  • A. Casamayou, N. Cohen, G. Connan, Th. Dumont, L. Fousse, F. Maltey, M. Meulien, M. Mezzarobba, C. Pernet, Nicolas M. Thiéry, P. Zimmermann : “Calcul mathématique avec Sage”, 468 pages, (CreateSpace), (ISBN: 9781481191043) (2013)
• 2010
  • A. Benoit, F. Chyzak, A. Darrasse, S. Gerhold, M. Mezzarobba, B. Salvy : “The Dynamic Dictionary of Mathematical Functions (DDMF)”, pp. 35–41 (2010)
• 2006
  • M. Mezzarobba, M. Safey El Din : “Computing roadmaps in smooth real algebraic sets”, Transgressive Computing 2006, J.-G. Dumas (Ed.), Granada, Spain, pp. 327-338 (2006)