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.
Type de document :
Communication dans un congrès
16èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2017, Montpellier, France. 〈http://afadl2017.imag.fr/〉
Liste complète des métadonnées

Littérature citée [5 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01581807
Contributeur : Florian Faissole <>
Soumis le : mardi 5 septembre 2017 - 10:40:44
Dernière modification le : jeudi 7 février 2019 - 17:48:15

Fichier

article_afadl.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01581807, version 1

Citation

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. 〈http://afadl2017.imag.fr/〉. 〈hal-01581807〉

Partager

Métriques

Consultations de la notice

416

Téléchargements de fichiers

578