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.
Liste complète des métadonnées

Cited literature [5 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01581807
Contributor : Florian Faissole <>
Submitted on : Tuesday, September 5, 2017 - 10:40:44 AM
Last modification on : Thursday, February 7, 2019 - 5:48:15 PM

File

article_afadl.pdf
Files produced by the author(s)

Identifiers

  • 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. ⟨hal-01581807⟩

Share

Metrics

Record views

450

Files downloads

619