Journées Nationales de Calcul Formel. 14 – 18 Novembre 2011
Les cours du CIRM, no. 1 (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.

@book{CCIRM_2011__2_1,
     author = {Collectif},
     title = {Journ\'ees {Nationales} de {Calcul} {Formel.} 14 {\textendash} 18 {Novembre} 2011},
     series = {Les cours du CIRM},
     publisher = {CIRM},
     number = {1},
     year = {2011},
     url = {http://www.numdam.org/item/CCIRM_2011__2_1/}
}
TY  - BOOK
AU  - Collectif
TI  - Journées Nationales de Calcul Formel. 14 – 18 Novembre 2011
T3  - Les cours du CIRM
PY  - 2011
IS  - 1
PB  - CIRM
UR  - http://www.numdam.org/item/CCIRM_2011__2_1/
ID  - CCIRM_2011__2_1
ER  - 
%0 Book
%A Collectif
%T Journées Nationales de Calcul Formel. 14 – 18 Novembre 2011
%S Les cours du CIRM
%D 2011
%N 1
%I CIRM
%U http://www.numdam.org/item/CCIRM_2011__2_1/
%F CCIRM_2011__2_1
Journées Nationales de Calcul Formel. 14 – 18 Novembre 2011. Les cours du CIRM, no. 1 (2011),  http://numdam.org/item/CCIRM_2011__2_1/

Sommaire

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 40 p.
Creative Telescoping for Parametrised Integration and Summation Chyzak, Frédéric 37 p.
Preuves formelles automatiques et calcul formel Pottier, Loïc 25 p.
Calcul analytique Hoeven, Joris van der 85 p.