Sommaire du Fascicule no. 1

Journées Nationales de Calcul Formel. 22 – 26 Janvier 2018

Symbolic tensor calculus on manifolds: a SageMath implementation
Exposé no. 1, 54 p.
Calcul Formel et Preuves Formelles
Exposé no. 2, 10 p.
Formal methods for systems of partial differential equations
Exposé no. 3, 37 p.