Les cours du CIRM, Tome 6 (2018)

Sommaire du Fascicule no. 1

Journées Nationales de Calcul Formel

Organisé par : Carole El Bacha ; Luca De Feo ; Pascal Giorgi ; Marc Mezzarobba ; Alban Quadrat

Symbolic tensor calculus on manifolds: a SageMath implementation

Éric Gourgoulhon ; Marco Mancini

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.