MEZZAROBBA Marc

Pesquisadores
Equipe : PEQUAN
Data de partida : 30/11/2020
https://lip6.fr/Marc.Mezzarobba

Atividade de Pesquisa

Calcul formel, arithmétique des ordinateurs

Publicações 2006-2021

2021
- M. Mezzarobba : “Rounding Error Analysis of Linear Recurrences Using Generating Series”, (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, Nicolas M. Thiéry, 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)