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

-
Attachment Size
AFFICHE LOUIS ANTOINE18.pdf 2.53 MB