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) |
|---|---|
| Licence |
Loading...
Résumé du papier "A Coq formal proof of the Lax-Milgram Theorem", CPP 2017.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
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 1 avril 2026-03:13:41