Preuve formelle du théorème de Lax–Milgram - Archive ouverte HAL Access content directly
Conference Papers Year : 2017

Preuve formelle du théorème de Lax–Milgram

Abstract

Résumé du papier "A Coq formal proof of the Lax-Milgram Theorem", CPP 2017.
Fichier principal
Vignette du fichier
article_afadl.pdf (125.19 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01581807 , version 1 (05-09-2017)

Identifiers

  • HAL Id : hal-01581807 , version 1

Cite

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⟩
380 View
916 Download

Share

Gmail Facebook X LinkedIn More