U.S. National Science Foundation
Mathematical Sciences Institutes
Home
Institutes
Events
Highlights
Videos
About
Videos
Search Videos
Search
From Date
To Date
Institute
AIM
IAS
ICERM
IMA
IPAM
MBI
SLMath
SAMSI
IMSI
ICARM
Per Page
12
24
48
96
Search
Reset
Start date cannot be after end date.
Syzygies of Algebraic Curves of Large Degree
Presenter
Robert Lazarsfeld
July 16, 2015
ICERM
Syzygies, gonality and symmetric products of curves
Presenter
Robert Lazarsfeld
April 14, 2015
IAS
Asymptotic syzygies of algebraic varieties
Presenter
Robert Lazarsfeld
February 14, 2013
SLMath
Lifting Theorems
Presenter
Robert Lazarsfeld
April 16, 2007
SLMath
Robert Joseph George - Verified Scientific Machine Learning in Lean
September 18, 2026
IPAM
Globally Rigid Tensegrities
Presenter
Robert Connelly
July 6, 2026
ICERM
A user's guide to bounding number fields
Presenter
Robert Lemke Oliver
June 8, 2026
ICERM
Sheaves for Wildfire Tracking and Semantic Type Checking
Presenter
Robert Green
May 21, 2026
ICERM
How to design tools for formalization
Presenter
Robert Lewis
May 13, 2026
ICERM
An online, adaptive finite element method for problems in nonsmooth PDE-constrained optimization
Presenter
Robert Baraldi
April 17, 2026
ICERM
Quantum Computing and Cellular Phones
Presenter
Robert Calderbank
April 11, 2026
ICERM
Fast Mixing MCMC without Gradients
Presenter
Robert Scheichl
March 5, 2026
ICERM
‹
1
2
3
›
»