XIX Journées Louis Antoine - Preuves par ordinateurs

Preuves et calculs

Cours de 4 heures

Bruno Salvy, INRIA ENS-Lyon): Quelques algorithmes du calcul formel pour les suites et fonctions spéciales

et

Assia Mahboubi, INRIA, Nantes: Preuves formelles et assistants de preuve.

Voir plus ...

Jeudi, 22 Novembre, 2018 - 14:00 - Vendredi, 23 Novembre, 2018 - 17:00

Partenaires

Irmar LMJL ENS Rennes LMBA LAREMA

Tutelles

ANR CNRS Rennes 1 Rennes 2 Nantes INSA Rennes INRIA ENSRennes UBO UBS Angers UBL