Mersenne banner

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

Assia Mahboubi

Exposé no. 2, 10 p.
Formal methods for systems of partial differential equations

Daniel Robertz

Exposé no. 3, 37 p.