Videos

Start date cannot be after end date.
John Harrison - Formalization and Automated Reasoning: A Personal and Historical Perspective Thumbnail

John Harrison - Formalization and Automated Reasoning: A Personal and Historical Perspective

Presenter
  • John Harrison
February 13, 2023
IPAM
A guide to moonshine Thumbnail

A guide to moonshine

Presenter
  • John Duncan
October 13, 2022
IAS
John Miao - Coherent Diffractive Imaging: A Unification of Microscopy, Diffraction and Computation Thumbnail

John Miao - Coherent Diffractive Imaging: A Unification of Microscopy, Diffraction and Computation

Presenter
  • Jianwei Miao
September 13, 2022
IPAM
Real Quadratic Maps Thumbnail

Real Quadratic Maps

Presenter
  • John Milnor
May 2, 2022
SLMath

Floer homology and right-veering monodromy

Presenter
  • John Baldwin
April 29, 2022
ICERM
A Tutorial on Gaussian Elimination Thumbnail

A Tutorial on Gaussian Elimination

Presenter
  • John Urschel
April 19, 2022
IAS

Endogenizing Network Topology in Systemic Risk Models

Presenter
  • John Birge
April 5, 2022
IMSI
Old and New Results on the Spread of the Spectrum of a Graph Thumbnail

Old and New Results on the Spread of the Spectrum of a Graph

Presenter
  • John Urschel
December 6, 2021
IAS
Computational Challenges in Gravitational Wave Parameter Estimation Thumbnail

Computational Challenges in Gravitational Wave Parameter Estimation

Presenter
  • John Veitch
December 2, 2021
IPAM
An Introduction to Determinantal Point Processes Thumbnail

An Introduction to Determinantal Point Processes

Presenter
  • John Urschel
October 19, 2021
IAS

Can the flow behind a weak-shock Mach reflection be shock-free?

Presenter
  • John Hunter
May 18, 2021
ICERM

From Runge--Kutta methods to B-series

Presenter
  • John Butcher
May 12, 2021
ICERM