Preuve formelle du théorème de Lax–Milgram - Archive ouverte HAL Accéder directement au contenu
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)
Loading...

Dates et versions

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

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⟩
380 Consultations
916 Téléchargements

Partager

Gmail Facebook X LinkedIn More