Flexiformal Math Libraries - Collecting and Organizing Beyond Definitions, Theorems, and Proofs

Offered By: Hausdorff Center for Mathematics via YouTube

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!

Explore the concept of flexiformal math libraries in this 51-minute lecture by Michael Kohlhase from the Hausdorff Center for Mathematics. Delve into the process of collecting and organizing mathematical knowledge beyond traditional definitions, theorems, and proofs. Gain insights into innovative approaches for structuring and presenting mathematical information in a more flexible and comprehensive manner.

Syllabus

Michael Kohlhase: Flexiformal Math Libraries

Taught by

Hausdorff Center for Mathematics

Related Courses

Introduction to Logic
Stanford University via Coursera Networked Life
University of Pennsylvania via Coursera Introduction to Mathematical Thinking
Stanford University via Coursera Computational Photography
Georgia Institute of Technology via Coursera Initiation à la théorie des distributions
École Polytechnique via Coursera