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 metadatas

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 : Tuesday, April 21, 2020 - 1:06:05 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

550

Files downloads

897