Mersenne banner

Les cours du CIRM

Browse issues
or
  • All
  • Author
  • Title
  • References
  • Full text
NOT
Between and
  • All
  • Author
  • Title
  • Date
  • References
  • Keywords
  • Full text
  • Browse issues
  • Volume 2 (2011)
  • no. 1

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.
Web publisher : Published by : Developed by :
  • Follow us
e-ISSN : 2108-7164