Journées Nationales de Calcul Formel

Journées Nationales de Calcul Formel

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

Table of contents

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

Talk no. 1, 40 p.

Creative Telescoping for Parametrised Integration and Summation

Frédéric Chyzak

Talk no. 2, 37 p.

Preuves formelles automatiques et calcul formel

Loïc Pottier

Talk no. 3, 25 p.

Calcul analytique

Joris van der Hoeven

Talk no. 4, 85 p.