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.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Florian Faissole : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01581807
Soumis le : mardi 5 septembre 2017-10:40:44
Dernière modification le : mercredi 16 octobre 2024-15:12:05