Français
Complex analysis in Lean
Multi angle
Authors : Beffara, Vincent (Author of the conference)
CIRM (Publisher )
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 (Publisher )
Loading the player...
|
Abstract :
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
MSC Codes : 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}
|
Information on the Video
Film maker : Recanzone, LucaLanguage : English Available date : 22/04/2024 Conference Date : 26/03/2024 Subseries : Research talks arXiv category : Logic in Computer Science Mathematical Area(s) : Analysis and its Applications ; Logic and Foundations Format : MP4 (.mp4) - HD Video Time : 00:48:48 Targeted Audience : Researchers ; Graduate Students ; Doctoral Students, Post-Doctoral Students Download : https://videos.cirm-math.fr/2024-03-26_beffara.mp4 
|
Information on the Event
Event Title : Lean for the curious mathematician / Lean pour mathématiciensEvent Organizers : Brasca, Riccardo ; Chambert-Loir, Antoine ; de Frutos-Fernández, María Inés ; Nuccio , Filippo Dates : 25/03/2024 - 29/03/2024 Event Year : 2024 Event URL : https://conferences.cirm-math.fr/2970.html
Citation Data
DOI : 10.24350/CIRM.V.20153203Cite this video as: 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 |
See Also
- [Multi angle] Stone duality and its formalization / Author of the conference van Gool, Sam.
- [Multi angle] Working with Mathlib / Author of the conference Loreaux, Jireh.
- [Multi angle] Coq/Rocq tutorial: Ssreflect tactics and the MathComp library / Author of the conference Kerjean, Marie.
Bibliography
Imagette Video
