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

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

p. i-xiv
Théorie algébrique des nombres et calcul formel

Karim Belabas

Exposé no. 1, 40 p.
Creative Telescoping for Parametrised Integration and Summation

Frédéric Chyzak

Exposé no. 2, 37 p.
Preuves formelles automatiques et calcul formel

Loïc Pottier

Exposé no. 3, 25 p.
Calcul analytique

Joris van der Hoeven

Exposé no. 4, 85 p.