Marc Mezzarobba — Exposés

2024

• On the practical computation of Stokes matrices. Journées NuSCAP, Paris, May 22, 2024. [slides]

2023

• Error Analysis of Linear Recurrences using Generating Series. Differential Seminar @ RTCA, Paris, November 30, 2023. [slides]
• Asymptotic Expansions with Error Bounds for Solutions of Linear Recurrences. AriC Seminar, Lyon, June 15, 2023. [slides]

2022

• Asymptotic Expansions with Error Bounds for Solutions of Linear Recurrences. MAX Seminar, Palaiseau, May 24, 2022. [slides]

2021

• Regular Singularities & Rigorous Numerics. Periods workgroup, online, May 19, 2021. [slides] [online demo]
• Analyse d'erreur de récurrences à l'aide de séries génératrices. Séminaire AriC, en ligne, 21 janvier 2021. [slides]

2020

• Interval Summation of Differentially Finite Series. MAX Seminar, online, April 28, 2020. [slides]

2019

• Rigorous Numerics for Differentially Finite Functions. Computing with D-Modules II, Leipzig, September 3, 2019. [slides] [ipynb] [online demo]
• Rigorous Numerical Evaluation of D-Finite Functions in SageMath. OPSFA, Hagenberg, July 23, 2019. [slides] [ipynb] [online demo]
• Recent improvements to ore_algebra. FastRelax Final Workshop, Lyon, May 23, 2019. [ipynb] [nbviewer]

2018

• Quelques exemples d'analyse d'erreur de récurrences à l'aide de séries génératrices. RAIM, Gif-sur-Yvette, 14 novembre 2018. [slides]
• Truncation Bounds for Differentially Finite Series. Journées FastRelax, Sophia-Antipolis, June 5, 2018. [slides]
• Arithmétique d'intervalles. Café culturel (pré-séminaire Géométrie Topologie Dynamique), Orsay, 5 avril 2018. [exemples Sage (non présentés)]
• Numerical evaluation of D-finite functions in SageMath with Applications. Journées de combinatoire de Bordeaux, 14 février 2018. [slides] [demo (ipynb)]

2017

• Numerical evaluation of D-finite functions in SageMath with Applications. Workshop on Computer Algebra in Combinatorics, ESI, Wien, November 16, 2017. [slides] [demo (ipynb)] [demo (html)]
• Numerical evaluation of D-finite functions in ore_algebra: A progress report. Seminar Algebra and Discrete Mathematics, JKU Linz, November 9, 2017. [slides]
• Rigorous Numerical Evaluation of D-Finite Functions in SageMath. Séminaire AriC, Lyon, 26 janvier 2017. [slides]

2016

• Évaluation numérique rigoureuse de fonctions D-finies en SageMath. Séminaire CALIN, Villetaneuse, 4 octobre 2016. [slides]
• Numerical Evaluation of D-Finite Functions in SageMath. ICMS, Berlin, July 11, 2016. [slides]
• PythonSollya. Réunion annuelle MetaLibm, 17 février 2016. [démo]
• Tutoriel Sollya et PythonSollya. Avec Christoph Lauter. Séminaire Pequan, 18 janvier 2016. [démo]

2015

• Bornes sur les restes de séries solutions d'équations différentielles. Séminaire Pequan, 22 octobre 2015. [notes]
• Bornes sur les restes de séries solutions d'équations différentielles. Nice, 9 juin 2015.
• Introduction à Sage. Nice, 8 juin 2015. [slides]

2014

• Calcul de facteurs d'ordre 1 d'opérateurs différentiels (et de récurrence ?) par évaluation numérique. Séminaire Calcul et Preuves, Palaiseau, 1er décembre 2014. [slides]
• The Dynamic Dictionary of Mathematical Functions. Computational Mathematics and Applications Seminar, Oxford, November 20, 2014. [slides]
• WP@JNCF2014. JNCF, 5 novembre 2014. [slides]
• Introduction à Sage. JNCF, 4 novembre 2014. [slides] [démo (pdf)] [démo (txt)]
• Introduction à Sage. Séminaire Pequan, 16 octobre 2014. [slides] [démo (pdf)] [démo (txt)]
• Evaluation of Ai(x) with Reduced Cancellation. SMC 2014, February 7, 2014. [slides]
• Frankenstein : implémentation automatique de fonctions données par des équations différentielles. Avec Christoph Lauter. Réunion Metalibm, 22 janvier 2014. [slides]

2013

• Scindage binaire « tronqué » et complexité en espace de l'évaluation de fonctions D-finies. RAIM 2013, 20 décembre 2013. [slides]
• Numerical Evaluation of D-Finite Functions: NumGfun and Beyond. Sage Days 49 (Orsay), June 20, 2013. [slides] [Maple worksheet]
• Présentation de l'“Editing Sprint” Wikipédia. JNCF, 14 mai 2013. [slides]
• Linear ODEs & Divergent Series. Algorithmic Combinatorics Seminar (RISC, JKU, Hagenberg/Linz), June 5, 2013. [slides]
• Evaluation of Ai(x) with Reduced Cancellation. ARITH 21, Austin, Texas, USA, April 10, 2013. [slides]
• Évaluation de Ai(x) : cancellation catastrophique & comment y échapper. Séminaire BiPoP-CASYS, Grenoble, 5 avril 2013. [slides]
• Évaluation de Ai(x) : cancellation catastrophique & comment y échapper. Séminaire de l'équipe SpecFun, Inria Saclay, Palaiseau, 21 février 2013. [slides]
• Autour de l'évaluation numérique des fonctions D-finies. Réunion du département CalSci, LIP6, Paris, 19 février 2013. [slides]
• Cancellation in the evaluation of Ai(x), and how to deal with it. AriC Tuesday work session, January 29, 2013. [notes]

2012

• Around the Numerical Evaluation of D-Finite Functions. Algorithmic Combinatorics Seminar (RISC, JKU, Hagenberg/Linz), November 28, 2012. [slides]
• Space Complexity of Fast D-Finite Function Evaluation. CASC 2012 (Maribor, Slovenia), September 5, 2012. [slides]
• Validation via des opérateurs de point fixe. Rencontres CoqApprox (Lyon), 11 juillet 2012.
• Around the Numerical Evaluation of D-Finite Functions. CAPA seminar (Uppsala universitet), June 12, 2012. [slides]

2011

• Autour de l'évaluation numérique des fonctions D-finies. Groupe de travail Arénaire, 24 novembre 2011. (Repris de mon exposé de soutenance de thèse.) [slides]
• L'interface Mathemagix-Maple. Journées nationales de calcul formel, Luminy, 17 novembre 2011. [slides] [c++]
• Autour de l'évaluation numérique des fonctions D-finies. Journées nationales de calcul formel, Luminy, 16 novembre 2011. (Version courte de mon exposé de soutenance de thèse.) [slides]
• Autour de l'évaluation numérique des fonctions D-finies. Soutenance de thèse, École polytechnique, Palaiseau, 27 octobre 2011. [slides]
• The Dynamic Dictionary of Mathematical Functions: Special Functions, Computer Algebra and High-Precision Arithmetic. Inria junior seminar, Rocquencourt, 20 septembre 2011. [slides]
• Introduction à Sage. Mini-symposium Sage du congrès SMAI 2011, Guidel, 23 mai 2011. [slides] [démo]
• Évaluation numérique de fonctions spéciales et combinatoire analytique avec NumGfun. Séminaire CALIN, Villetaneuse, 15 mars 2011. [slides]

2010

• NumGfun : calculs analytiques avec les fonctions D-finies. Groupe de travail Arénaire, 9 décembre 2010. [slides]
• NumGfun: a Package for Numerical and Analytic Computation with D-finite Functions. ISSAC, Munich, 27 juillet 2010. [slides] [démo] [article]
• NumGfun. Journées nationales de calcul formel, Luminy, 7 mai 2010. [démo]

2009

• Comment calculer arctan z ? Cal4doc (séminaire de calcul formel des doctorants de l'École polytechnique et des environs), 1er juillet 2009. [slides]

2008

• Suites et fonctions holonomes : évaluation numérique et calcul automatique de bornes. Groupe de travail Arénaire, 5 décembre 2008. [slides]
• Suites et fonctions holonomes : évaluation numérique et calcul automatique de bornes. Groupe de travail Cacao, 16 octobre 2008. [slides]
• Guaranteed Precision Evaluation of D-finite Functions. Séminaire de l'équipe de calcul formel, University of Western Ontario, 12 septembre 2008. [slides]
• Bornes sur les suites et fonctions différentiellement finies et évaluation garantie. Rencontres Arithmétique de l'Informatique Mathématique, Lille, 3 juin 2008. [slides]
• Bornes sur les suites et fonctions différentiellement finies et évaluation garantie. Colloque Algorithmes pour les équations différentielles et aux différences, Limoges, 11 mars 2008. [slides (fr)] [slides (en)]

2007

• Évaluation numérique à grande précision de fonctions holonomes. Séminaire Algo, 15 octobre 2007. [slides] [démo NumGfun]
• Génération automatique de procédures numériques pour les fonctions D-finies. Soutenance de M2, Master parisien de recherche en informatique, septembre 2007. [slides] [version imprimable]