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.
Rapports, articles etc. (info/maths, publiés ou non)
-
NumGfun: a Package for Numerical and Analytic Computation with D-finite Functions. ISSAC 2010, à paraître.
[pdf]
[HAL]
[arXiv]
[code (gfun)]
-
Effective Bounds for P-Recursive Sequences.
Avec Bruno Salvy. 2009.
À paraître au Journal of Symbolic Computation.
[pdf]
[arXiv]
[code (gfun)]
-
Mines Informatique MP 2008 — Corrigé. Annales des Concours, éditions H&K, 2008.
-
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.
[pdf]
[détails]
-
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]
-
Computing roadmaps in smooth real algebraic sets.
Avec Mohab Safey El Din.
Transgressive Computing 2006.
[version préliminaire]
-
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]
Supports d'exposés
La plupart des exposés actuellement disponibles ci-dessous sont des variantes les uns des autres.
-
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.
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)]
-
É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, 10 (?) 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/