Les cours du CIRM, Tome 2 (2011)

Sommaire du Fascicule no. 1

Journées Nationales de Calcul Formel

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

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

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

Exposé no. 3, 25 p.

Calcul analytique

Joris van der Hoeven

Exposé no. 4, 85 p.