Les cours du CIRM, Volume 6 (2018)

Issue no. 1 Table of Contents

Journées Nationales de Calcul Formel

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

Symbolic tensor calculus on manifolds: a SageMath implementation

Éric Gourgoulhon; Marco Mancini

Talk no. 1, 54 p.

Calcul Formel et Preuves Formelles

Assia Mahboubi

Talk no. 2, 10 p.

Formal methods for systems of partial differential equations

Daniel Robertz

Talk no. 3, 37 p.