Complex Analysis in Lean
Offered By: Centre International de Rencontres Mathématiques via YouTube
Course Description
Overview
Explore complex analysis through the lens of the Lean theorem prover in this 49-minute conference talk by Vincent Beffara. Recorded during the "LEAN pour mathématiciens" thematic meeting at the Centre International de Rencontres Mathématiques in Marseille, France, delve into the intersection of formal mathematics and complex analysis. Gain insights into how Lean can be applied to this fundamental area of mathematics. Access this video and other talks by renowned mathematicians through CIRM's Audiovisual Mathematics Library, featuring chapter markers, keywords, enriched content with abstracts and bibliographies, and a multi-criteria search function for easy navigation and exploration of mathematical topics.
Syllabus
Vincent Beffara: complex analysis in Lean
Taught by
Centre International de Rencontres Mathématiques
Related Courses
An Introduction to Functional AnalysisÉcole Centrale Paris via Coursera The Finite Element Method for Problems in Physics
University of Michigan via Coursera Introduction to the Theory of Distributions and Applications
University of Pavia via iversity Методы и инструменты системного проектирования
Moscow Institute of Physics and Technology via Coursera Product Design Using Value Engineering
Indian Institute of Technology Roorkee via Swayam