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