Communication Dans Un Congrès Année : 2017

Preuve formelle du théorème de Lax–Milgram

Résumé

Résumé du papier "A Coq formal proof of the Lax-Milgram Theorem", CPP 2017.

Fichier principal
Vignette du fichier
article_afadl.pdf (125.19 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Loading...

Dates et versions

hal-01581807 , version 1 (05-09-2017)

Licence

Identifiants

  • HAL Id : hal-01581807 , version 1

Citer

Sylvie Boldo, François Clément, Florian Faissole, Vincent Martin, Micaela Mayero. Preuve formelle du théorème de Lax–Milgram. 16èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2017, Montpellier, France. ⟨hal-01581807⟩
712 Consultations
1333 Téléchargements

Partager

  • More