Home
  • Journals
  • Seminars
  • Conferences
  • Books
  • Lecture notes
  • Theses
  • Authors
  • Journals
  • Seminars
  • Conferences
  • Books
  • Lecture notes
  • Theses
  • Authors
Browse issues
  • All
  • Author
  • Title
  • References
  • Full text
Between and
  • All
  • Author
  • Title
  • Date
  • References
  • Keywords
  • Full text
  • Previous
  • Les cours du CIRM
  • Next

Issue no. 1 Table of Contents

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

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

Informations sur les Journées
Chèze, Guillaume; Cluzeau, Thomas; Lecerf, Grégoire; Pernet, Clément
p. i-xiv

Théorie algébrique des nombres et calcul formel
Belabas, Karim
Talk no. 1, 40 p.

Creative Telescoping for Parametrised Integration and Summation
Chyzak, Frédéric
Talk no. 2, 37 p.

Preuves formelles automatiques et calcul formel
Pottier, Loïc
Talk no. 3, 25 p.

Calcul analytique
Hoeven, Joris van der
Talk no. 4, 85 p.
  • About
  • Help
  • Legal notice
  • Contact

Published by

Supported by

 

Partner of