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.
Keywords : Riemann Mapping Theorem; formalization
Codes MSC : Keywords : 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 arXiv category : Logic in Computer Science Domaine : Analysis and its Applications ; Logic and Foundations Format : MP4 (.mp4) - HD Durée : 00:48:48 Audience : Researchers ; Graduate Students ; 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 Congrès : 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
