Marc Mezzarobba
Présentation
Bonjour et bienvenue.
Je suis doctorant en calcul formel dans l'équipe Algorithms de l'INRIA Paris-Rocquencourt, sous la direction de Bruno Salvy. Le titre de mon projet de thèse est Algorithmique de base des fonctions D-finies, applications à l'évaluation garantie.
Écrits
Articles de recherche
Mémoires et rapports
-
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, 2007.
[bib]
[pdf]
[page
web]
-
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]
Divers
-
Calcul mathématique avec Sage.
Avec
Alexandre Casamayou,
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, juillet 2010.
[page web]
-
Mines Informatique MP 2008 — Corrigé.
Annales des Concours, éditions H&K, 2008.
-
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
-
NumGfun: a Package for Numerical and Analytic Computation with D-finite Functions.
ISSAC,
Munich, 27 juillet 2010.
[slides]
[démo]
[article]
-
Comment calculer arctan z ?
Cal4doc (séminaire de calcul formel des doctorants de l'École polytechnique et des environs), 1er juillet 2009.
[slides]
-
Suites et fonctions holonomes : évaluation numérique et calcul
automatique de bornes.
-
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.
-
É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]
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.
-
Quelques mots sur mon scanner avec chargeur automatique de documents
-
misc/
-
code/