Condensed Mathematics Courses and Certifications

Hausdorff Center for Mathematics

Condensed Mathematics in Mathlib

Explore condensed mathematics in Mathlib with Dagur Asgeirsson, delving into advanced mathematical concepts and their implementation in the Lean theorem prover's mathematics library.

• YouTube
• 59 minutes
• On-Demand
• Free Video

Institut des Hautes Etudes Scientifiques (IHES)

Analytic Stacks - Foundations for Analytic Geometry

Explore new foundations for analytic geometry, covering light condensed abelian groups, analytic rings, analytic stacks, and examples in this advanced mathematics lecture.

• YouTube
• 1 hour 46 minutes
• On-Demand
• Free Video

Institut des Hautes Etudes Scientifiques (IHES)

Analytic Stacks - Lecture 6

Explore new foundations for analytic geometry, covering light condensed abelian groups, analytic rings, analytic stacks, and examples with renowned mathematician Peter Scholze.

• YouTube
• 1 hour 49 minutes
• On-Demand
• Free Video

Institut des Hautes Etudes Scientifiques (IHES)

Analytic Stacks - Lecture 5

Explore new foundations for analytic geometry, covering light condensed abelian groups, analytic rings, analytic stacks, and examples with renowned mathematician Peter Scholze.

• YouTube
• 1 hour 46 minutes
• On-Demand
• Free Video

Institut des Hautes Etudes Scientifiques (IHES)

Analytic Stacks - Lecture 3

Explore new foundations for analytic geometry, covering light condensed abelian groups, analytic rings, analytic stacks, and examples with renowned mathematician Peter Scholze.

• YouTube
• 1 hour 38 minutes
• On-Demand
• Free Video

Institut des Hautes Etudes Scientifiques (IHES)

Analytic Stacks - Lecture 2

Explore new foundations for analytic geometry, covering light condensed abelian groups, analytic rings, analytic stacks, and examples with renowned mathematician Peter Scholze.

• YouTube
• 1 hour 43 minutes
• On-Demand
• Free Video

Institut des Hautes Etudes Scientifiques (IHES)

Analytic Stacks - Lecture 1/24

Explore new foundations for analytic geometry, covering light condensed abelian groups, analytic rings, analytic stacks, and examples in this advanced mathematics lecture.

• YouTube
• 1 hour 50 minutes
• On-Demand
• Free Video

Institut des Hautes Etudes Scientifiques (IHES)

Analytic Stacks: New Foundations for Analytic Geometry - Lecture 24

Explore new foundations for analytic geometry, covering light condensed abelian groups, analytic rings, analytic stacks, and examples with renowned mathematician Peter Scholze.

• YouTube
• 1 hour 54 minutes
• On-Demand
• Free Video

Institut des Hautes Etudes Scientifiques (IHES)

Analytic Stacks - Lecture 21

Explore new foundations for analytic geometry, covering light condensed abelian groups, analytic rings, analytic stacks, and examples with renowned mathematician Peter Scholze.

• YouTube
• 1 hour 53 minutes
• On-Demand
• Free Video

Institut des Hautes Etudes Scientifiques (IHES)

Analytic Stacks - Lecture 19

Explore new foundations for analytic geometry, covering light condensed abelian groups, analytic rings, analytic stacks, and examples with renowned mathematician Peter Scholze.

• YouTube
• 1 hour 52 minutes
• On-Demand
• Free Video

Institut des Hautes Etudes Scientifiques (IHES)

Analytic Stacks - Lecture 16

Explore new foundations for analytic geometry, covering light condensed abelian groups, analytic rings, analytic stacks, and examples in this advanced mathematics lecture by Peter Scholze.

• YouTube
• 1 hour 53 minutes
• On-Demand
• Free Video

Institut des Hautes Etudes Scientifiques (IHES)

Analytic Stacks - Lecture 14

Explore new foundations for analytic geometry, covering light condensed abelian groups, analytic rings, analytic stacks, and examples with renowned mathematician Peter Scholze.

• YouTube
• 1 hour 45 minutes
• On-Demand
• Free Video

Institut des Hautes Etudes Scientifiques (IHES)

Analytic Stacks - Lecture 12

Explore new foundations for analytic geometry, covering light condensed abelian groups, analytic rings, analytic stacks, and examples with renowned mathematician Peter Scholze.

• YouTube
• 1 hour 47 minutes
• On-Demand
• Free Video

Institut des Hautes Etudes Scientifiques (IHES)

Analytic Stacks - New Foundations for Analytic Geometry

Explore new foundations for analytic geometry, covering light condensed abelian groups, analytic rings, analytic stacks, and examples with renowned mathematician Peter Scholze.

• YouTube
• 1 hour 48 minutes
• On-Demand
• Free Video