Mersenne banner

Les cours du CIRM

Browse issues
or
  • All
  • Author
  • Title
  • References
  • Full text
NOT
Between and
  • All
  • Author
  • Title
  • Date
  • References
  • Keywords
  • Full text
  • Browse issues
  • 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.
Web publisher : Published by : Developed by :
  • Follow us
e-ISSN : 2108-7164