Marc Mezzarobba
Post-doc Inria dans l'équipe AriC (Arénaire), LIP, ENS de Lyon
Site Monod, troisième étage, bureau 311 sud
46, allée d'Italie, 69007 Lyon [plan]
☎ 04 26 23 39 35
✍ marc À mezzarobba POINT net
Nouveautés
- 05/04/2012
- Une note sur la complexité en espace de l'évaluation numérique des fonctions D‑finies.
- 24/01/2012
- La version révisée de ma thèse est en ligne.
- 27/10/2011
- Soutenance de thèse.
Présentation
Bonjour et bienvenue.
Je viens de soutenir ma thèse en calcul formel, préparée au sein de l'équipe Algorithms de l'Inria Paris-Rocquencourt, sous la direction de Bruno Salvy. Je suis maintenant post-doctorant dans l'équipe Arénaire/AriC à l'ENS de Lyon. J'y travaille auprès (notamment) de Nicolas Brisebarre sur des applications du calcul formel à la génération de code numérique pour l'évaluation de fonctions spéciales.
Écrits
Rapports de recherche, prépublications
-
A Note on the Space Complexity of Fast D‑Finite Function Evaluation.
Soumis, 2012.
[pdf]
[HAL]
Articles de recherche publiés
-
The Dynamic Dictionary of Mathematical Functions (DDMF).
Avec
Alexandre Benoit,
Frédéric Chyzak,
Alexis Darrasse,
Stefan Gerhold et
Bruno Salvy.
ICMS 2010
(LNCS 6327), pages 35-41,
doi:10.1007/978-3-642-15582-6_7.
[bib]
[pdf]
[www]
-
NumGfun: a Package for Numerical and Analytic Computation with D-finite Functions.
ISSAC 2010,
pages 139-146,
doi:10.1145/1837934.1837965.
(Version largement étendue, en français, dans les chapitres 1, 7 et 8 de ma thèse.)
[bib]
[pdf]
[HAL]
[arXiv]
[présentation]
[code]
[manuel]
-
Effective Bounds for P-Recursive Sequences.
Avec Bruno Salvy.
Journal of Symbolic Computation 45(10):1075–1096, 2010,
doi:10.1016/j.jsc.2010.06.024.
(Version étendue, en français, dans les chapitres 4 et 5 de ma thèse.)
[bib]
[pdf version préliminaire]
[arXiv]
[code]
-
Computing roadmaps in smooth real algebraic sets.
Avec Mohab Safey El Din.
Transgressive Computing 2006.
[bib]
[pdf]
Mémoires
-
Autour de l'évaluation numérique des fonctions D-finies.
Thèse de doctorat, École polytechnique, 2011.
[bib]
[pdf]
[TEL]
[code]
[soutenance]
-
Génération automatique de procédures numériques pour les fonctions D-finies.
Rapport de stage de M2 sous la direction de Bruno Salvy, Master parisien de recherche en informatique, 2007.
[bib]
[pdf]
[www]
[soutenance]
-
Analyse en théorie et en pratique du calcul de cartes routières.
Rapport de stage d'initiation à la recherche au LIP6, sous la direction de Mohab Safey El Din, été 2005.
(Disponible sur demande, mais plein d'erreurs, voyez plutôt l'article ci-dessus.)
-
Comment démontrer des formules sans effort.
Rapport d'exposé « de maîtrise » de mathématiques, avec Sam Zoghaib, sous la direction de François Loeser, juin 2005.
[pdf]
Textes didactiques
-
Calcul mathématique avec Sage.
Avec
Alexandre Casamayou,
Nathann Cohen,
Guillaume Connan,
Thierry Dumont,
Laurent Fousse,
François Maltey,
Matthias Meulien,
Clément Pernet,
Nicolas M. Thiéry
et
Paul Zimmermann
(coordinateur).
Version 1.0.9, décembre 2011.
[bib]
[www]
[HAL]
-
Mines Informatique MP 2008 — Corrigé.
Annales des Concours, éditions H&K, 2008.
Divers
-
NumGfun User Manual.
Dernière mise à jour le 27 janvier 2010.
[pdf]
-
Polynomial Approximation and Floating-Point Numbers.
Compte-rendu d'un exposé de Sylvain Chevillard, actes du séminaire Algo, 2007.
[pdf]
-
Computing Monodromy Groups Defined by Plane Algebraic Curves.
Compte-rendu d'un exposé d'Adrien Poteaux,
actes du séminaire Algo, 2007.
[pdf]
Logiciels
-
NumGfun : module Maple pour l'évaluation numérique des fonctions D-finies et plus généralement les opérations « symboliques-numériques » sur ces fonctions. NumGfun est distribué comme sous-module de gfun, au sein de la bibliothèque Algolib.
Références :
manuel pdf,
article de présentation (ISSAC 2010),
ma thèse (détail des algorithmes).
Téléchargement :
-
mmaple : module Mathemagix d'interfaçage Mathemagix-Maple, en développement.
[svn]
-
Divers :
code/,
DDMF,
Sage
Supports d'exposés
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
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
2007
Divers
- J'ai commencé il y a quelques années une traduction française de la documentation de calc. Assez rapidement, je n'ai plus eu le temps d'y travailler. La proportion de pages traduites est encore faible. Toute personne intéressée pour reprendre le projet est la bienvenue.
- Sites de classes, en accès restreint (et
hébergés ailleurs). Si vous ne comprenez pas les
instructions, c'est que la section correspondante ne vous concerne pas.
- HX4 :
donnez comme nom d'utilisateur le numéro de la
salle, et comme mot de passe le nom du plus
terrible des khôlleurs, le tout sans accents ni
espaces.
- MP*3 :
de même, le nom d'utilisateur est le
numéro de la salle, et le mot de passe est celui dont
il a été l'assistant.
-
Également hébergés ailleurs, quelques anciens numéros du journal Virus du lycée Louis-le-Grand.
-
misc/