Center for diffusion of mathematic journals

 
 
 
 

Les cours du CIRM Volume 6, number 1 (2018)

Previous: volume 5, number 1 (2017) Up: volume list

Journées Nationales de Calcul Formel
Organizers: Carole El Bacha, Luca De Feo, Pascal Giorgi, Marc Mezzarobba and Alban Quadrat
2018

Éric Gourgoulhon; Marco Mancini
Symbolic tensor calculus on manifolds: a SageMath implementation
Exp. No. 1, 54 p. Details
Assia Mahboubi
Calcul Formel et Preuves Formelles
Exp. No. 2, 10 p. Details
Daniel Robertz
Formal methods for systems of partial differential equations
Exp. No. 3, 37 p. Details
Previous: volume 5, number 1 (2017) Up: volume list
Copyright Cellule MathDoc 2019 | Credit | Site Map