Centre International de Rencontres Mathématiques Courses

Phase Transitions on One-Dimensional Symbolic Systems

Explore phase transitions in one-dimensional symbolic systems with Tamara Kucherenko's insightful conference talk on mathematical dynamics and quasicrystals.

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

Symmetries in Symbolic Dynamics

Explore symmetries in symbolic dynamics with Bryna Kra, delving into mathematical concepts and their applications in this engaging conference talk.

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

Metallic Mean Wang Tiles

Explorez les tuiles de Wang et les moyennes métalliques dans cette conférence mathématique approfondie sur la dynamique symbolique multidimensionnelle et les quasicristaux.

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

Approximating Entropy and Pressure for Multidimensional Shifts of Finite Type

Explore multidimensional symbolic dynamics and entropy approximation in shifts of finite type with Ronnie Pavlov's advanced mathematical lecture.

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

Complex Analysis in Lean

Explore complex analysis implementation in Lean, focusing on key concepts and theorem formalization for mathematicians and computer scientists.

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

Stone Duality and Its Formalization

Explore Stone duality and its formalization, delving into advanced mathematical concepts and their applications in modern research.

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

Working with Mathlib - Lecture 1

Découvrez les fonctionnalités de Mathlib et apprenez à les utiliser efficacement pour vos projets mathématiques avec Jireh Loreaux.

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

Functional Equations and Combinatorics

Explorez les équations fonctionnelles et la combinatoire avec Lucia Di Vizio dans cette conférence mathématique approfondie.

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

Compacted Binary Trees, Stretched Exponential and Asymptotic Behavior of Recurrences

Explorez les arbres binaires compactés, l'exponentielle étirée et le comportement asymptotique des récurrences dans cette conférence mathématique approfondie.

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

Random Walks on Simplicial Complexes

Explore random walks on simplicial complexes in this mathematical conference talk, delving into advanced concepts and applications in the field.

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

Probabilistic Methods - Entropy Compression

Explore probabilistic methods and entropy compression in mathematics through an in-depth lecture by František Kardoš at CIRM's ALEA days conference.

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

SageMath: Research and Experimentation in Combinatorics - Lecture 2

Explorez la recherche et l'expérimentation en combinatoire avec SageMath. Approfondissez vos connaissances en mathématiques à travers cette conférence captivante de Viviane Pons.

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

SageMath: Research and Experimentation in Combinatorics - Lecture 1

Explore SageMath for combinatorics research and experimentation. Learn powerful tools and techniques for mathematical problem-solving and analysis in this comprehensive lecture.

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

Numerical Quadrature for Singular Integrals over Self-Similar Measures on Fractal Sets

Explore numerical quadrature techniques for singular integrals over self-similar measures on fractal sets, focusing on advanced mathematical concepts and applications.

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

Harmonic Measure with Robin Boundary Conditions

Explore harmonic measure with Robin boundary conditions in this mathematical analysis talk by Guy David at CIRM's thematic meeting on fractals and networks.

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