New Perspectives on Borel Summation - Lecture 1
Explore new perspectives on Borel summation, focusing on linear ODEs and integrals over Lefschetz thimbles, to understand when divergent series solutions produce holomorphic solutions.
Thurston's Asymmetric Metrics for Anosov Representations
Explore Thurston's asymmetric metric and its generalization to Anosov representations, applying thermodynamical formalism to construct pressure metrics on representation spaces.
Transverse Groups: Metric and Flow Space Analysis
Explore transverse groups, their metric and flow spaces, and new results in this advanced mathematical talk on discrete group theory and hyperbolic geometry.
Equidistribution of Periodic Tori
Explore equidistribution of periodic tori in higher rank Lie groups, extending Bowen and Margulis' work on closed geodesics in hyperbolic surfaces.
Regularising Manifolds Using Ricci Flow
Explore Ricci flow's applications in deforming and regularizing manifolds, including its use in identifying topology and proving geometric theorems.
Optimizing Causal Objective Functions - Algorithms and Complexity
Explore causal objective functions, their optimization, and algorithmic complexities. Delve into structural causal models, unit selection, and variable elimination techniques for associational queries.
A* Search: How Map Applications Find Shortest Routes
Explore A* search algorithm for optimal route finding, comparing greedy and uniform cost approaches. Learn how modern mapping apps balance efficiency and accuracy.
Transitioning into AI Roles - Roadmap, Resources, and Mistakes to Avoid
Practical guide for transitioning into AI roles, covering learning roadmap, essential skills, and common pitfalls. Offers insights on getting started and overcoming challenges in the field.
Mechanising Gödel-Löb Provability Logic in HOL Light
Explore the mechanisation of Gödel–Löb Provability Logic in HOL Light, delving into formal proofs and theorem verification techniques for modal logic systems.
Branch Cuts and Formal Methods in Mathematics
Explore branch cuts in complex analysis and their role in formal methods, focusing on mathematical challenges and computational applications.
From 100 to 1000+ Theorems - Advancements in Mathematical Proof Verification
Explore the journey of formalizing mathematics, from initial proofs to extensive theorem libraries, and discover the challenges and progress in this field.
Flexiformal Math Libraries - Collecting and Organizing Beyond Definitions, Theorems, and Proofs
Explore innovative approaches to organizing mathematical knowledge beyond traditional definitions, theorems, and proofs in this insightful presentation on flexiformal math libraries.
Automated Alignments in Mathematics
Explore automated alignments in mathematics with Thibault Gauthier, focusing on innovative techniques and applications in mathematical research and problem-solving.
Getting Started with Blueprint-Driven Formalization Projects in Lean
Learn to design, manage, and develop collaborative formalization projects in Lean using blueprint-driven approaches and essential tools for efficient project organization and execution.
Numerical Integration, Root Finding, and Computational Thinking - ME3255
Explore numerical integration, root finding techniques, and computational thinking principles for solving complex engineering problems.
Geometric Variational Problems: Regularity vs Singularity Formation
Explore techniques for existence, regularity, and singularity formation in geometric problems, focusing on harmonic maps, Yang-Mills connections, and nematic liquid crystals. Learn about new gluing methods for parabolic flows.
Quantitative Ell-Adic Sheaf Theory
Explore quantitative bounds for étale cohomology groups and their applications in algebraic geometry. Learn about complexity measures for sheaves and how they interact with various functors.
A Finiteness Theorem for Gromov-Hyperbolic Groups
Explore a finiteness theorem for Gromov-hyperbolic groups, delving into δ-hyperbolic, torsion-free, non-cyclic marked groups with bounded entropy. Gain insights into the proof and key concepts.
On the Applications of Topology
Explore topological methods for analyzing complex data sets, focusing on persistent homology and mapper, with applications in computer vision, biology, and medicine.
ME3255 - Quantitative Descriptions on Monte Carlo Models
Explore Monte Carlo models through quantitative descriptions, enhancing understanding of statistical simulation techniques and their applications in engineering and science.
ME3255 - Moore's Law and Monte Carlo Methods
Explore Moore's law and Monte Carlo methods in computational mechanics, gaining insights into technological advancements and simulation techniques for engineering applications.