Skip to Main content Skip to Navigation
New interface
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 : Tuesday, June 14, 2022 - 10:37:59 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

355

Files downloads

822