| 2024-12-03 | Interview with Alina Ostafe | 0:00 | 235 | |
|
| 2024-12-03 | Public Lecture - Galyna V. Livshyts: High-dimensional phenomena (under construction) | 0:00 | 165 | |
|
| 2024-11-26 | Thomas Courtade: Information inequalities on Euclidean space | 0:00 | 190 | |
|
| 2024-11-25 | Piotr Nayar: Minimum entropy of a log-concave random variable with fixed variance | 0:00 | 100 | |
|
| 2024-11-25 | Gautam Aishwarya: A Shannon-Kneser-Poulsen theorem | 0:00 | 64 | |
|
| 2024-11-25 | Emma Pollard: Symmetrization Resistance | 0:00 | 61 | |
|
| 2024-11-25 | Bruno Volzone: On Gilles Pisier's approach to Gaussian concentration, isoperimetry, …inequalities | 0:00 | 91 | |
|
| 2024-11-25 | Dario Cordero-Erausquin: Convexity, duality and heat diffusion | 0:00 | 113 | |
|
| 2024-11-22 | Tomasz Tkocz: A Rényi entropy interpretation of anti-concentration | 0:00 | 89 | |
|
| 2024-11-22 | Igal Sason: Combinatorial Applications of the Shearer and Han Inequalities in Graph Theory and ... | 0:00 | 119 | |
|
| 2024-11-22 | Joseph Slote: Fourier multipliers for functions on the discrete | 0:00 | 97 | |
|
| 2024-11-19 | Noah Stephens-Davidowitz: A reverse Minkowski theorem | 0:00 | 207 | |
|
| 2024-11-19 | Chandra Nair: Conjectures relating optimality of dictator functions & connections to…inequalities | 0:00 | 63 | |
|
| 2024-11-18 | Felipe Gonçalves: Sharp Strichartz Estimates via Hermite Polynomials and Hypercontractivity | 0:00 | 95 | |
|
| 2024-11-15 | Friedrich Götze: Counting Lattice Points in Ellipsoids and the Central Limit Theorem for... | 0:00 | 97 | |
|
| 2024-11-12 | Dmitry Krachun: An optimal space lower bound for approximating MAX-CUT | 0:00 | 100 | |
|
| 2024-11-09 | Joris Roos: Sharp isoperimetric inequalities on the Hamming cube | 0:00 | 80 | |
|
| 2024-11-08 | Dan Mikulincer: Spectral gaps for measures on cube via generalized stochastic localization process | 0:00 | 82 | |
|
| 2024-11-08 | Pooya Hatami: Constant-Cost Communication | 0:00 | 49 | |
|
| 2024-11-08 | Ohad Sheinfeld: Improved Covering Results & Intersection Theorems in Symmetric Groups | 0:00 | 40 | |
|
| 2024-11-08 | Ohad Klein: Slicing all edges of an $n$-cube requires $n^{2/3}$ hyperplanes | 0:00 | 42 | |
|
| 2024-11-07 | Srinivasan Arunachalam: Testing and learning phase states and their variants (Part 2) | 0:00 | 36 | |
|
| 2024-11-07 | Srinivasan Arunachalam: Testing and learning phase states and their variants (Part 1) | 0:00 | 21 | |
|
| 2024-11-07 | Francisco Escudero Gutiérrez: Approach towards Aaronsonn-Ambainis conjecture via…polynomials, Part 2 | 0:00 | 30 | |
|
| 2024-11-07 | Francisco Escudero Gutiérrez: Approach towards Aaronsonn-Ambainis conjecture via…polynomials, Part 1 | 0:00 | 48 | |
|
| 2024-11-07 | Kewen Wu: Quantum State Preparation with Optimal T -Count | 0:00 | 42 | |
|
| 2024-11-06 | Shivam Nadimpalli: High-dimensional convexity: testing, learning, and complexity | 0:00 | 88 | |
|
| 2024-11-04 | Haonan Zhang: On the Eldan-Gross Inequality | 0:00 | 87 | |
|
| 2024-10-25 | Tuomas Hytönen: A geometric dichotomy for the discrete Hilbert transform | 0:00 | 152 | |
|
| 2024-10-23 | Li Gao: Log-Sobolev inequalities for matrix-valued functions | 0:00 | 138 | |
|
| 2024-10-15 | Lenka Slavíková: Dimension-free Sobolev-type embeddings in the Gauss space | 0:00 | 117 | |
|
| 2024-10-14 | Pandelis Dodos: Random graphs and nonlinear spectral gaps | 0:00 | 86 | |
|
| 2024-10-14 | Yuval Filmus: Approximate polymorphisms | 0:00 | 61 | |
|
| 2024-10-11 | Guy Kindler: A polynomial Bogolyubov-type result for the special linear group | 0:00 | 54 | |
|
| 2024-10-11 | Błażej Wróbel: Dimension-free estimates for low degree functions on the Hamming cube | 0:00 | 35 | |
|
| 2024-10-10 | Justin Salez: Entropy and curvature of Markov chains on metric spaces | 0:00 | 100 | |
|
| 2024-10-10 | Quanhua Xu: Vector-valued Littlewood-Paley-Stein theory for semigroups | 0:00 | 49 | |
|
| 2024-10-08 | Vjekoslav Kovač: Sharp estimates for Gowers norms on discrete cubes | 0:00 | 51 | |
|
| 2024-10-08 | Joris Roos: Isoperimetric and Poincaré inequalities on the Hamming cube | 0:00 | 62 | |
|
| 2024-10-08 | Rocco Servedio: Sparsifying suprema of Gaussian processes | 0:00 | 43 | |
|
| 2024-09-27 | Lei Zhang: Quantum algorithms for multiscale PDEs | 0:00 | 99 | |
|
| 2024-09-24 | Alex Iosevich: Signal recovery, restriction theory, and applications IV | 0:00 | 73 | |
|
| 2024-09-23 | Francisco Escudero Gutiérrez: A cb-Bohnenblust-Hille inequality with constant one and its... | 0:00 | 47 | |
|
| 2024-09-22 | Yuval Filmus: Structure theorems in Boolean Harmonic Analysis III (original audio lost; dubbed) | 0:00 | 125 | |
|
| 2024-09-21 | Alex Iosevich: Signal recovery, restriction theory, and applications III | 0:00 | 74 | |
|
| 2024-09-20 | Yuval Filmus: Structure theorems in Boolean Harmonic Analysis IV | 0:00 | 57 | |
|
| 2024-09-20 | Alexandros Eskenazis: Functional inequalities in Metric Geometry III | 0:00 | 79 | |
|
| 2024-09-20 | Lars Becker: On the Fourier weight of F2 polynomials | 0:00 | 46 | |
|
| 2024-09-20 | Alexandros Eskenazis: Functional inequalities in Metric Geometry I | 0:00 | 98 | |
|
| 2024-09-20 | Alexandros Eskenazis: Functional inequalities in Metric Geometry II | 0:00 | 72 | |
|
| 2024-09-18 | Mario Ohlberger: Localized model order reduction for parameter optimization | 0:00 | 74 | |
|
| 2024-09-17 | Alex Iosevich: Signal recovery, restriction theory, and applications II | 0:00 | 60 | |
|
| 2024-09-17 | Noam Lifshitz: Inverse results for isoperimetric inequalities IV | 0:00 | 38 | |
|
| 2024-09-17 | Noam Lifshitz: Inverse results for isoperimetric inequalities III | 0:00 | 8 | |
|
| 2024-09-17 | Patrick Henning: Multiscale approximations for the stationary Ginzburg-Landau equation | 0:00 | 34 | |
|
| 2024-09-17 | Robert Lipton: Dynamic brittle fracture as a well posed nonlocal initial value problem | 0:00 | 10 | |
|
| 2024-09-17 | Krzysztof Oleszkiewicz:On the asymptotics of the optimal constants in the KhinchineKahane inequality | 0:00 | 21 | |
|
| 2024-09-16 | Cristian González-Riquelme: Sharp Fourier restriction over finite fields | 0:00 | 33 | |
|
| 2024-09-16 | Yuval Filmus: Structure theorems in Boolean Harmonic Analysis I | 0:00 | 34 | |
|
| 2024-09-16 | Noam Lifshitz: Inverse results for isoperimetric inequalities I | 0:00 | 30 | |
|
| 2024-09-16 | Noam Lifshitz: Inverse results for isoperimetric inequalities II | 0:00 | 6 | |
|
| 2024-09-16 | Alex Iosevich: Signal recovery, restriction theory, and applications I | 0:00 | 49 | |
|
| 2024-09-16 | Axel Målqvist: Numerical simulation of Timoshenko-beam models of fibre based materials | 0:00 | 50 | |
|
| 2024-09-16 | Frédéric Legoll: Multiscale Finite Element Methods for advection and reaction-diffusion problems | 0:00 | 19 | |
|
| 2024-09-13 | Gabriel Barrenechea: The Multiscale Hybris (Mixed) Finite Element Method | 0:00 | 47 | |
|
| 2024-09-10 | Florian Rabe: Automated Transformation of Hierarchies of Theories in Large Libraries | 0:00 | 68 | |
|
| 2024-09-04 | Interview with Christian Liedtke on the occasion of Gerd Faltings' 70th birthday | 0:00 | 147 | |
|
| 2024-08-26 | Interview with Bjorn Poonen on the occasion of Gerd Faltings' 70th birthday | 0:00 | 232 | |
|
| 2024-08-20 | Barbara Verfürth: Numerical multiscale methods for nonlinear and randomly perturbed problems | 0:00 | 86 | |
|
| 2024-08-20 | Eric Chung: Multiscale methods for a class of high-contrast heterogeneous signchanging problems | 0:00 | 54 | |
|
| 2024-08-16 | Marco Caminati: Challenges in formalising recent results in formal language theory | 0:00 | 105 | |
|
| 2024-08-16 | Raheleh Jalali: On the Completeness of Interpolation Algorithms | 0:00 | 49 | |
|
| 2024-08-16 | Ilka Agricola: A view from the IMU Committee on Electronic Information and Communication | 0:00 | 74 | |
|
| 2024-08-15 | Moritz Schubotz: Formal mathematics in zbMATH Open | 0:00 | 76 | |
|
| 2024-08-15 | Ilka Agricola: CEIC Publication Discussion | 0:00 | 63 | |
|
| 2024-08-14 | Yutaka Nagashima: Abduction Prover in Isabelle/HOL | 0:00 | 102 | |
|
| 2024-08-13 | Marco Maggesi: Mechanising Gödel–Löb Provability Logic in HOL Light | 0:00 | 134 | |
|
| 2024-08-13 | Thaynara Arielly de Lima: "Algebraic Theorems in PVS" | 0:00 | 60 | |
|
| 2024-08-13 | Alexei Lisitsa: "Gauss Realisability conditions: from error correction to formalization" | 0:00 | 38 | |
|
| 2024-08-09 | James Davenport: Branch Cuts and Formal Methods? | 0:00 | 107 | |
|
| 2024-08-09 | Mauricio Ayala-Rincón: Formalisation of nominal equations reasoning in PVS* | 0:00 | 51 | |
|
| 2024-08-09 | Freek Wiedijk: From 100 to 1000+ theorems | 0:00 | 153 | |
|
| 2024-08-08 | Mario Carneiro: Metamath Zero - Export your Logic | 0:00 | 109 | |
|
| 2024-08-07 | Sina Hazratpour: HoTT in Lean4 | 0:00 | 138 | |
|
| 2024-08-07 | Michael Kohlhase: Flexiformal Math Libraries | 0:00 | 229 | |
|
| 2024-08-05 | Pietro Monticone: Getting Started with Blueprint-Driven Formalization Projects in Lean | 45:27 | 345 | |
|
| 2024-08-05 | Thibault Gauthier: Automated Alignments | 26:58 | 50 | |
|
| 2024-08-02 | Interview with Hélène Esnault on the occasion of Gerd Faltings' 70th birthday | 15:45 | 285 | |
|
| 2024-08-02 | Luis Berlioz: Text mining the arXiv with LLMs | 0:00 | 116 | |
|
| 2024-08-02 | Florian Rabe: Experiences from Exporting Proof Assistant Libraries | 0:00 | 81 | |
|
| 2024-08-01 | Interview with Michael Rapoport on the occasion of Gerd Faltings' 70th birthday | 8:12 | 339 | |
|
| 2024-07-31 | Makarius Wenzel: Isabelle as System Platform for the Archive of Formal Proofs (AFP) | 34:22 | 58 | |
|
| 2024-07-31 | Mauricio Ayala-Rincón: Formalization of nominal equational reasoning in PVS - nominal unification | 0:00 | 53 | |
|
| 2024-07-31 | Aarne Ranta: Building Grammar Libraries for Mathematics and Avoiding Manual Work | 35:09 | 137 | |
|
| 2024-07-30 | Fabian Huch: Big Math Libraries in ITPs | 34:43 | 103 | |
|
| 2024-07-30 | Frédéric Blanqui: Translating HOL-Light proofs to Coq | 28:58 | 58 | |
|
| 2024-07-26 | Kensho Tsurusaki: Literate programming in Lean | 41:54 | 153 | |
|
| 2024-07-25 | Rishikesh Vaishnav: Lean4Less - A Term-Patching Framework | 35:20 | 67 | |
|
| 2024-07-25 | Mario Carneiro: Lean4Lean: Formalizing the type theory of Lean | 53:54 | 349 | |
|
| 2024-07-24 | Sandra Alves: Structural Rules and Algebraic Properties of Intersection Types | 56:12 | 82 | |
|
