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
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 le projet AriC (anciennement Arénaire) à l'ENS de Lyon, où je travaille auprès 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
Articles de recherche
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]
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/
-
code/