%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