Florent Bréhard, analyse numérique et preuve formelle

le 3 novembre 2021

Découvrez le portrait de Florent Bréhard du #CRIStAL, qui travaille sur l’analyse #numérique et la preuve #formelle pour calculer et manipuler des #représentations numériques #ensemblistes

En savoir plus...

Agenda

Plus d'actualités