Mersenne banner

Journées Nationales de Calcul Formel

Organisé par : Guillaume Chèze ; Thomas Cluzeau ; Grégoire Lecerf ; Clément Pernet

Sommaire

Informations sur les Journées
p. i-xiv
Théorie algébrique des nombres et calcul formel
Exposé no. 1, 40 p.
Creative Telescoping for Parametrised Integration and Summation
Exposé no. 2, 37 p.
Preuves formelles automatiques et calcul formel
Exposé no. 3, 25 p.
Calcul analytique
Exposé no. 4, 85 p.