Activité de recherche

Calcul formel, arithmétique des ordinateurs

Publications 2006-2023

• 2023
  • M. Mezzarobba : “Rounding Error Analysis of Linear Recurrences Using Generating Series”, Electronic Transactions on Numerical Analysis, vol. 58, pp. 196-227, (Kent State University Library) (2023)
• 2021
  • 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”, Bull. London Math Soc, vol. 53 (1), pp. 285-299 (2021)
• 2019
  • P. Lairez, M. Mezzarobba, M. Safey El Din : “Computing the volume of compact semi-algebraic sets”, ISSAC'19, Beijing, China, (ACM) (2019)
  • M. Kauers, M. Mezzarobba : “Multivariate Ore Polynomials in SageMath”, ACM Communications in Computer Algebra, vol. 53 (2), pp. 57-60, (Association for Computing Machinery (ACM)) (2019)
  • M. Mezzarobba : “Truncation Bounds for Differentially Finite Series”, Annales Henri Lebesgue, vol. 2, pp. 99-148, (UFR de Mathématiques - IRMAR) (2019)
• 2018
  • P. Zimmermann, A. Casamayou, N. Cohen, G. Connan, Th. Dumont, L. Fousse, F. Maltey, M. Meulien, M. Mezzarobba, C. Pernet, N. Thiery, E. Bray, J. Cremona, M. Forets, A. Ghitza, H. Thomas : “Computational Mathematics with SageMath”, (SIAM), (ISBN: 978-1-61197-545-1) (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, (Society for Industrial and Applied Mathematics) (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
  • M. Mezzarobba : “Rigorous Multiple-Precision Evaluation of D-Finite Functions in SageMath”, 5^th International Congress on Mathematical Software (ICMS~2016), Berlin, Germany (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)
• 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, United States, pp. 145-152, (IEEE Computer Society) (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)
• 2006
  • M. Mezzarobba, M. Safey El Din : “Computing roadmaps in smooth real algebraic sets”, Transgressive Computing 2006, Granada, Spain, pp. 327-338 (2006)