Joris Picot

Ingénieur de Recherche

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

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.