Home
Programs
Your Visit
Videos
About
Support ICERM
Search
Loading...
Video Archive
Submit
Reset
Discrete Optimization and Classification Trees
Illya Hicks
Rice University
June 29, 2026 • 12:00 AM
Applied and Computational Discrete Algorithms in AI and Data Science
Hypergraph edit distance - theory, algorithms, and applications
Emilie Purvine
Pacific Northwest National Laboratory
June 29, 2026 • 12:00 AM
Applied and Computational Discrete Algorithms in AI and Data Science
Randomized and implicit algorithms for hypergraph matrices and tensors
Sinan Aksoy
Pacific Northwest National Laboratory
June 29, 2026 • 12:00 AM
Applied and Computational Discrete Algorithms in AI and Data Science
Scaling Approximate Nearest Neighbor Search to Large Datasets
Jakub Lacki
Google
June 29, 2026 • 12:00 AM
Applied and Computational Discrete Algorithms in AI and Data Science
Effective spectra
Benjamin Antieau
Northwestern University
June 26, 2026 • 12:00 AM
Machine Computation in Homotopy Theory
Reflections on my original design goals for Ext and how it turned out
Robert Chatham
Cloudflare
June 26, 2026 • 12:00 AM
Machine Computation in Homotopy Theory
Efficient computations of Yoneda product of Ext groups
Weinan Lin
Fudan University
June 25, 2026 • 12:00 AM
Machine Computation in Homotopy Theory
TBA
Achim Krause
University of Oslo
June 25, 2026 • 12:00 AM
Machine Computation in Homotopy Theory
Building mathematical databases
David Roe
Massachusetts Institute of Technology
June 24, 2026 • 12:00 AM
Machine Computation in Homotopy Theory
Machine computation of the equivariant slice spectral sequence
Danny Shi
University of Washington
June 24, 2026 • 12:00 AM
Machine Computation in Homotopy Theory
Introduction to homotopy type theory
Reid Barton
University of Gothenburg and Chalmers University of Technology
June 24, 2026 • 12:00 AM
Machine Computation in Homotopy Theory
Automatic differential propagation in spectral sequences
Eva Belmont
Case Western Reserve University
June 23, 2026 • 12:00 AM
Machine Computation in Homotopy Theory
«
First
‹
Previous
1
(current)
2
3
4
›
Next
»
Last