English
Complex analysis in Lean
Multi angle
Auteurs : Beffara, Vincent (Auteur de la conférence)
CIRM (Editeur )
30-04 - Explicit machine computation and programs (not the theory of computation or programming)
30C35 - General theory of conformal mappings
30H05 - Spaces and algebras of analytic functions, See also {32E25, 46Exx, 46J15}
CIRM (Editeur )
Loading the player...
|
Résumé :
I present a formalization of the Riemann Mapping Theorem in the Lean 4 proof assistant, and a few related topics.
Mots-Clés : Riemann Mapping Theorem; formalization
Codes MSC : Mots-Clés : Riemann Mapping Theorem; formalization
30-04 - Explicit machine computation and programs (not the theory of computation or programming)
30C35 - General theory of conformal mappings
30H05 - Spaces and algebras of analytic functions, See also {32E25, 46Exx, 46J15}
|
Informations sur la Vidéo
Réalisateur : Recanzone, LucaLangue : Anglais Date de Publication : 22/04/2024 Date de Captation : 26/03/2024 Sous Collection : Research talks Catégorie arXiv : Logic in Computer Science Domaine(s) : Analyse & Applications ; Logique et Fondements Format : MP4 (.mp4) - HD Durée : 00:48:48 Audience : Chercheurs ; Etudiants Science Cycle 2 ; Doctoral Students, Post-Doctoral Students Download : https://videos.cirm-math.fr/2024-03-26_beffara.mp4 
|
Informations sur la Rencontre
Nom de la Rencontre : Lean for the curious mathematician / Lean pour mathématiciensOrganisateurs de la Rencontre : Brasca, Riccardo ; Chambert-Loir, Antoine ; de Frutos-Fernández, María Inés ; Nuccio , Filippo Dates : 25/03/2024 - 29/03/2024 Année de la rencontre : 2024 URL de la Rencontre : https://conferences.cirm-math.fr/2970.html
Données de citation
DOI : 10.24350/CIRM.V.20153203Citer cette vidéo: Beffara, Vincent (2024). Complex analysis in Lean. CIRM. Audiovisual resource. doi:10.24350/CIRM.V.20153203 URI : http://dx.doi.org/10.24350/CIRM.V.20153203 |
Voir Aussi
- [Multi angle] Stone duality and its formalization / Auteur de la conférence van Gool, Sam.
- [Multi angle] Working with Mathlib / Auteur de la conférence Loreaux, Jireh.
- [Multi angle] Coq/Rocq tutorial: Ssreflect tactics and the MathComp library / Auteur de la conférence Kerjean, Marie.
Bibliographie
Imagette Video
