Journées Nationales de Calcul Formel. 13 – 17 Mai 2013
Les cours du CIRM, no. 1 (2013)

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_2013__3_1,
     author = {Collectif},
     title = {Journ\'ees {Nationales} de {Calcul} {Formel.} 13 {\textendash} 17 {Mai} 2013},
     series = {Les cours du CIRM},
     publisher = {CIRM},
     number = {1},
     year = {2013},
     url = {http://www.numdam.org/item/CCIRM_2013__3_1/}
}
TY  - BOOK
AU  - Collectif
TI  - Journées Nationales de Calcul Formel. 13 – 17 Mai 2013
T3  - Les cours du CIRM
PY  - 2013
IS  - 1
PB  - CIRM
UR  - http://www.numdam.org/item/CCIRM_2013__3_1/
ID  - CCIRM_2013__3_1
ER  - 
%0 Book
%A Collectif
%T Journées Nationales de Calcul Formel. 13 – 17 Mai 2013
%S Les cours du CIRM
%D 2013
%N 1
%I CIRM
%U http://www.numdam.org/item/CCIRM_2013__3_1/
%F CCIRM_2013__3_1
Journées Nationales de Calcul Formel. 13 – 17 Mai 2013. Les cours du CIRM, no. 1 (2013),  http://numdam.org/item/CCIRM_2013__3_1/

Sommaire

Optimization on linear matrix inequalities for polynomial systems control Henrion, Didier 44 p.
Factorisation des polynômes à plusieurs variables Lecerf, Grégoire 85 p.
Rational Invariants of a Group Action Hubert, Evelyne 10 p.