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 ...

Thursday, November 22, 2018 - 14:00 to Friday, November 23, 2018 - 17:00

Partners

Irmar LMJL ENS Rennes LMBA LAREMA

Affiliation

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