Accueil
  • Revues
  • Séminaires
  • Congrès
  • Livres
  • Notes de cours
  • Thèses
  • Auteurs
  • Revues
  • Séminaires
  • Congrès
  • Livres
  • Notes de cours
  • Thèses
  • Auteurs
Parcourir les volumes
  • Tout
  • Auteur
  • Titre
  • Bibliographie
  • Plein texte
Entre et
  • Tout
  • Auteur
  • Titre
  • Date
  • Bibliographie
  • Mots-clés
  • Plein texte
  • Précédent
  • Les cours du CIRM
  • Suivant

Sommaire du Fascicule no. 1

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

Collectif
Organisé par : 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
Exposé no. 1, 40 p.

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

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

Calcul analytique
Hoeven, Joris van der
Exposé no. 4, 85 p.
  • À propos
  • Aide
  • Mentions légales
  • Contact

Développé par

Soutenu par

 

Partenaire de