Mersenne banner

Les cours du CIRM

Feuilleter
ou
  • Tout
  • Auteur
  • Titre
  • Bibliographie
  • Plein texte
NOT
Entre et
  • Tout
  • Auteur
  • Titre
  • Date
  • Bibliographie
  • Plein texte
  • Feuilleter
  • 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
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.
Diffusé par : Publié par : Développé par :
  • Nous suivre
e-ISSN : 2108-7164
© 2010 - 2021 Centre Mersenne, Les cours du CIRM, et les auteurs