Videos

Start date cannot be after end date.
From Flapping Birds to Space Telescopes: The Math of Origami  Thumbnail

From Flapping Birds to Space Telescopes: The Math of Origami

Presenter
  • Robert Lang
February 9, 2010
IMA

Verified Mathematical Reasoning with Lean and Language Models

Presenter
  • Robert Joseph George
April 26, 2025
ICERM
The Practice of Mathematics Thumbnail

The Practice of Mathematics

Presenter
  • Robert P.
October 26, 1999
IAS
Loosely Dependent Parallel Processes Thumbnail

Loosely Dependent Parallel Processes

Presenter
  • Robert Bradshaw
January 31, 2007
SLMath

What are Motives

Presenter
  • David Roberts
September 10, 2015
ICERM

The Complex Roots of Random Sums

Presenter
  • Robert Vanderbei
August 6, 2025
ICERM
Triangulation candidates for Bayesian optimization Thumbnail

Triangulation candidates for Bayesian optimization

Presenter
  • Robert Gramacy
April 1, 2025
IMSI

Why Does Rigidity Matter?

Presenter
  • Robert Connelly
February 10, 2025
ICERM