Center for diffusion of mathematic journals

 
 
 
 

Les cours du CIRM Volume 2, number 1 (2011)

Previous: volume 1, number 2 (2010) Next: volume 3, number 1 (2013) Up: volume list

Journées Nationales de Calcul Formel
Organizers: Guillaume Chèze, Thomas Cluzeau, Grégoire Lecerf and 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 Details
Karim Belabas
Théorie algébrique des nombres et calcul formel
Exp. No. 1, 40 p. Details
Frédéric Chyzak
Creative Telescoping for Parametrised Integration and Summation
Exp. No. 2, 37 p. Details
Loïc Pottier
Preuves formelles automatiques et calcul formel
Exp. No. 3, 25 p. Details
Joris van der Hoeven
Calcul analytique
Exp. No. 4, 85 p. Details
Previous: volume 1, number 2 (2010) Next: volume 3, number 1 (2013) Up: volume list
Copyright Cellule MathDoc 2019 | Credit | Site Map