Simons Foundation Courses

What Is Parameter Identifiability, Why Do We Need Identifiable Models, and What Can Identifiable Models Tell Us About Regulation of the Cell Cycle?

Explore parameter identifiability in mathematical modeling and its crucial role in biological systems, focusing on cell cycle regulation and collective cell migration insights.

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

Hilbert's Sixth Problem - From Particles to Waves

Explore Hilbert's sixth problem and the rigorous derivation of fluid mechanics equations from Boltzmann's kinetic theory, featuring recent breakthroughs in long-time extensions.

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

Extreme Diffusion

Discover how extreme particles challenge Einstein's random walk theory and explore a revolutionary framework for understanding diffusion in large particle systems through advanced mathematics.

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

Ranks of Elliptic Curves

Explore the fundamental question of whether elliptic curve ranks can be arbitrarily large through computational data, statistical models, and challenging outliers.

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

A Universal Theory of Spin Squeezed Entanglement

Explore the groundbreaking connection between spin squeezing and magnetic order in quantum systems, revealing new pathways for enhanced precision measurements.

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

Mathematics of Cryo-Electron Microscopy

Explore mathematical principles and computational methods for cryo-EM reconstruction, focusing on small molecules and flexible structures in structural biology.

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

Collision Course: Particle Physics Meets Machine Learning - December 4, 2024

Explore the intersection of particle physics and machine learning, discovering how machines can think like physicists and how physicists can leverage computational advances for new discoveries.

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

Second Analysis Lecture - Filter

Explore advanced analysis concepts through Lean formalization, focusing on filters and their mathematical applications in a bilingual teaching approach.

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

Group Actions on Affine Space and Euclidean Space - Geometry Lecture 2

Explore group actions on affine and Euclidean spaces through formalization in Lean, building undergraduate-level geometry skills with mathematical proof verification.

• YouTube
• 1 hour 1 minute
• On-Demand
• Free Video

A Crash Course on Type Theory

Discover the fundamentals of type theory in this intensive session, building essential mathematical foundations for formal verification and proof systems.

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

GitHub Basics

Master essential Git and GitHub workflows for collaborative mathematical formalization projects in Lean.

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

Simple Groups

Explore simple groups theory through formal mathematical proofs using Lean programming language in this advanced algebra session.

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

Metaprogramming in Lean - Talk 3

Explore advanced metaprogramming techniques in Lean during this specialized talk from the Simons Foundation workshop on mathematical formalization.

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

Merge Conflicts

Master git merge conflicts in collaborative Lean mathematics projects through practical techniques and real-world examples from ongoing formalization efforts.

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

Metaprogramming in Lean - Talk 2

Dive into advanced metaprogramming techniques in Lean, building on foundational concepts to develop sophisticated tactics and automation tools for mathematical formalization.

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