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

Sommaire

Symbolic tensor calculus on manifolds: a SageMath implementation Gourgoulhon, Éric ; Mancini, Marco 54 p.
Calcul Formel et Preuves Formelles Mahboubi, Assia 10 p.
Formal methods for systems of partial differential equations Robertz, Daniel 37 p.