Antoine Plet

Je suis doctorant en troisième année au sein de l'équipe AriC du LIP depuis septembre 2014, où j'ai déjà effectué mon stage de M2. Je travaille sous la direction de Jean-Michel Muller et Nicolas Louvet sur l'analyse d'erreur en arithmétique à virgule flottante.

Publications

Présentations

Conférences internationales avec sélection sur résumé

Conférences nationales

Autres

Prépublications

Activités complémentaires

J'ai encadré des TDs de L3 à l'ENS de Lyon : J'ai aussi encadré des TPs de l'unité LIFAP6 (Algorithmique, Programmation et Complexité) à l'Université Claude-Bernard Lyon 1 (2016, cours de Raphaëlle Chaine).

Code Maple

J'ai développé en Maple une bibliothèque pour une arithmétique à virgule flottante symbolique dont le code est disponible ici, et une feuille de calcul contenant des examples d'utilisation est disponible .

Contact