Les cours du CIRM, Volume (2018)

Issue no. 1 Table of Contents

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

Collectif

Organized by: El Bacha, Carole; De Feo, Luca; Giorgi, Pascal; Mezzarobba, Marc; Quadrat, Alban

Symbolic tensor calculus on manifolds: a SageMath implementation

Gourgoulhon, Éric; Mancini, Marco

Talk no. 1, 54 p.

Calcul Formel et Preuves Formelles

Mahboubi, Assia

Talk no. 2, 10 p.

Formal methods for systems of partial differential equations

Robertz, Daniel

Talk no. 3, 37 p.