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.
Origin | Files produced by the author(s) |
---|
Loading...
Origin | Files produced by the author(s) |
---|
Florian Faissole : Connect in order to contact the contributor
https://hal.science/hal-01581807
Submitted on : Tuesday, September 5, 2017-10:40:44 AM
Last modification on : Saturday, February 8, 2025-1:22:02 PM