Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

Local Fields in Lean

Hausdorff Center for Mathematics via YouTube

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore the intricacies of local fields through the lens of the Lean theorem prover in this comprehensive 56-minute lecture by María Inés de Frutos-Fernández from the Hausdorff Center for Mathematics. Delve into the formalization of local field theory using Lean, gaining insights into both the mathematical concepts and their implementation in a proof assistant. Discover how advanced algebraic structures are represented and manipulated within the Lean framework, enhancing your understanding of local fields and their properties. Engage with cutting-edge research at the intersection of mathematics and computer science, and learn how formal verification tools like Lean are revolutionizing mathematical proofs and theory development.

Syllabus

María Inés de Frutos-Fernández: Local fields in Lean

Taught by

Hausdorff Center for Mathematics

Reviews

Start your review of Local Fields in Lean

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.