Mersenne banner

Les cours du CIRM

Feuilleter
ou
  • Tout
  • Auteur
  • Titre
  • Bibliographie
  • Plein texte
NOT
Entre et
  • Tout
  • Auteur
  • Titre
  • Date
  • Bibliographie
  • Plein texte
  • Feuilleter
  • 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
Assia Mahboubi
Exposé no. 2, 10 p.

Formal methods for systems of partial differential equations
Daniel Robertz
Exposé no. 3, 37 p.
Diffusé par : Publié par : Développé par :
  • Nous suivre
e-ISSN : 2108-7164
© 2010 - 2021 Centre Mersenne, Les cours du CIRM, et les auteurs