Surreal Numbers and Transseries - Lecture 3
Explore advanced mathematical concepts of surreal numbers and transseries, delving into their properties, applications, and connections to asymptotic analysis.
Surreal Numbers and Transseries - Lecture 2
Explore advanced mathematical concepts of surreal numbers and transseries, delving into their properties and applications in asymptotic analysis.
Transseries, Model Theory, and Hardy Fields - Lecture 1
Explore advanced mathematical concepts in transseries, model theory, and Hardy fields with Professor Lou van den Dries in this graduate-level lecture series.
Surreal Numbers and Transseries - Lecture 1
Explore surreal numbers and transseries in this graduate-level lecture, delving into advanced mathematical concepts and their applications in asymptotic analysis.
Decidability via the Tilting Correspondence
Explore the concept of decidability through the tilting correspondence with Oxford researcher Konstantinos Kartas, delving into advanced mathematical theories and their applications.
On the Oriented Coloring of the Disjoint Union of Graphs
Explore oriented graph coloring in disjoint unions, examining theoretical aspects and algorithmic implications in combinatorial algorithms.
Induced Subgraphs and Tree Decompositions
Explore induced subgraphs and tree decompositions in graph theory, focusing on their properties, applications, and recent advancements in combinatorial algorithms.
F-Singularities — Applications of Characteristic P Methods to Singularity Theory
Explore applications of characteristic p methods in singularity theory, focusing on F-singularities and their role in commutative algebra and algebraic geometry.
Large Scale Machine Learning and Convex Optimization - Lecture 1
Explore advanced stochastic optimization techniques for large-scale machine learning, including novel Newton-based algorithms and hybrid approaches that achieve improved convergence rates and efficiency.
Linear Matroid Matching in the Oracle Model
Explores linear matroid matching in the oracle model, replacing linear algebraic computation with repeated oracle-calls along alternating paths to solve challenging problems in connectivity, rigidity, and count matroids.
Dimension, Complexity and K Theory
Explore connections between dimension theory, complexity, and K-theory in mathematics, focusing on applications in topology and geometry. Gain insights into cutting-edge research in these interconnected fields.
The Weighted Energy Dissipation WED Principle for Gradient Flows
Explore advanced variational methods for gradient flows, focusing on the Weighted Energy Dissipation principle and its applications in metric spaces and optimal control problems.
Derek Holt- Algorithms for Finitely Presented Groups I
Explore fundamental algorithms for computing in finitely presented groups, including Todd-Coxeter coset enumeration and Reidemeister-Schreier algorithm, with practical examples and applications.
Derek Holt- Algorithms for Finitely Presented Groups II
Explore advanced algorithms for finitely presented groups, including Todd-Coxeter coset enumeration, Reidemeister-Schreier algorithm, and automatic structures. Learn applications in group theory computations.
Triposes and Gödel's Dialectica Interpretation
Exploring semantic presentation of Gödel's Dialectica interpretation using triposes, addressing previous work and suggesting solutions to related questions in mathematical logic.
Refinement Type Systems and Martin Lof Type Theory
Explores refinement type systems, their connection to Martin-Lof type theory, and various notions of comprehension. Discusses recent work on functors as type refinement systems and Isbell duality theorem.
First Order Concatenation Theory vs First Order Number Theory
Comparative analysis of first-order concatenation theory and number theory, exploring similarities, differences, and extensions with bounded quantifiers in string-based structures.
TQFTs from Non-Semisimple Modular Categories and Modified Traces - Lecture I
Explore advanced topological quantum field theories, focusing on non-semisimple constructions and modified traces for powerful invariants and mapping class group representations.
A Census of Tetrahedral Hyperbolic Manifolds and Links
Explore tetrahedral hyperbolic manifolds and links, uncovering their properties and classifications in this comprehensive mathematical analysis.
Complexity and Invariants of Knot Diagrams, Curves, and Surfaces
Explore complexity and invariants in knot diagrams, curves, and surfaces with Tahl Nowik. Gain insights into advanced topological concepts and their applications in quantum topology.
Classification of Prime Genus 1 Virtual Knots of Low Complexity
Explore prime genus 1 virtual knots of low complexity, their classification methods, and implications in quantum topology with A. Akimova's in-depth analysis.