Joris Picot

Ingénieur de Recherche

Laboratoire de l'Informatique du Parallélisme
ÉNS Lyon

Après sept années dans le calcul de solutions numériques approchées en mécanique des fluides, je travaille désormais à fournir une tolérance mathématiquement valide à ces calculs.
ORCID
0000-0002-1403-5429
Profil Scopus
56994328000
Anciennement dev de Notus
Site
Research Gate
Profil
Mendeley
56994328000
Stack Overflow
Profil

Notes

14 Décembre 2018

Notes concises de cours Approximation Theory and Proof Assistants.

Document.
19 Septembre 2018

Quiz sur les racines de polynômes issus de développements de Taylor.

Document.
15–19 Janvier 2018

Winter Research School: Numerical Computing and Rigorous Numerical Computing


by Nick Trefethen and Warwick Tucker.
Site web. Documents.

Liste des publications