Sommaire du Fascicule no. 1

Journées Nationales de Calcul Formel. 14 – 18 Novembre 2011

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.