Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadata

Cited literature [5 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01581807
Contributor : Florian Faissole Connect in order to contact the contributor
Submitted on : Tuesday, September 5, 2017 - 10:40:44 AM
Last modification on : Thursday, July 8, 2021 - 3:49:45 AM

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

607

Files downloads

1281