Centre de diffusion de revues académiques mathématiques

 
 
 
 

Les cours du CIRM Tome 2, numéro 1 (2011)

Précédent: tome 1, numéro 2 (2010) Suivant: tome 3, numéro 1 (2013) Retour: liste des volumes

Journées Nationales de Calcul Formel
Organisateurs: Guillaume Chèze, Thomas Cluzeau, Grégoire Lecerf et Clément Pernet
2011

Le calcul formel a pour objet d’étude les manipulations symboliques effectives d’objets mathématiques. Il se situe ainsi naturellement à l’interface des mathématiques, de l’informatique et de différents domaines d’applications. L’objectif premier des JNCF est l’intégration des doctorants et jeunes chercheurs à la communauté du calcul formel. Les jeunes chercheurs doivent ainsi pouvoir prendre la mesure de cette thématique de recherche pluridisciplinaire, et être encouragés à découvrir les thématiques de recherches voisines.

Le présent volume donne accès aux cours donnés lors de ces journées.

Guillaume Chèze; Thomas Cluzeau; Grégoire Lecerf; Clément Pernet
Informations sur les Journées
p. i-xiv Détail
Karim Belabas
Théorie algébrique des nombres et calcul formel
Exp. No. 1, 40 p. Détail
Frédéric Chyzak
Creative Telescoping for Parametrised Integration and Summation
Exp. No. 2, 37 p. Détail
Loïc Pottier
Preuves formelles automatiques et calcul formel
Exp. No. 3, 25 p. Détail
Joris van der Hoeven
Calcul analytique
Exp. No. 4, 85 p. Détail
Précédent: tome 1, numéro 2 (2010) Suivant: tome 3, numéro 1 (2013) Retour: liste des volumes
Copyright Cellule MathDoc 2017 | Crédit | Plan du site