Au programme, deux cours de Assia Mahboubi et Bruno Salvy.
Assia Mahboubi (Inria, Nantes)
Preuves formelles et assistants de preuve
Bruno Salvy (Inria, ENS Lyon)
Quelques algorithmes du calcul formel pour les suites et fonctions spéciales
Institut de recherche mathématique de Rennes
IRMAR - UMR CNRS 6625
Vous êtes ici
Recherche Conférence
Au programme, deux cours de Assia Mahboubi et Bruno Salvy.
Assia Mahboubi (Inria, Nantes)
Preuves formelles et assistants de preuve
Bruno Salvy (Inria, ENS Lyon)
Quelques algorithmes du calcul formel pour les suites et fonctions spéciales