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

YouTube

Linear Algebra Game in Lean

Hausdorff Center for Mathematics via YouTube

Overview

Explore the intersection of linear algebra and formal theorem proving in this engaging 50-minute talk by Sina Hazratpour from the Hausdorff Center for Mathematics. Discover how the Lean theorem prover can be used to create a "game" that teaches and reinforces linear algebra concepts. Learn about the challenges and benefits of formalizing mathematical concepts in a computer-assisted environment, and gain insights into how this approach can enhance understanding and rigor in mathematical education. Delve into specific examples of linear algebra problems implemented in Lean, and see how this innovative approach can bridge the gap between abstract mathematical theory and practical problem-solving skills.

Syllabus

Sina Hazratpour: Linear Algebra Game in Lean

Taught by

Hausdorff Center for Mathematics

Reviews

Start your review of Linear Algebra Game 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.