Videos

Start date cannot be after end date.

TBA

Presenter
  • Achim Krause
June 25, 2026
ICERM

Building mathematical databases

Presenter
  • David Roe
June 24, 2026
ICERM

Machine computation of the equivariant slice spectral sequence

Presenter
  • Danny Shi
June 24, 2026
ICERM

Introduction to homotopy type theory

Presenter
  • Reid Barton
June 24, 2026
ICERM

Automatic differential propagation in spectral sequences

Presenter
  • Eva Belmont
June 23, 2026
ICERM

Topology and algebra in SageMath

Presenter
  • John Palmieri
June 23, 2026
ICERM

TBA

Presenter
  • Thomas Brazelton
June 23, 2026
ICERM
Parallel Computation in Number Theory Thumbnail

Parallel Computation in Number Theory

Presenter
  • Bill (William) Hart
January 31, 2007
SLMath

Efficient Computation through Tuned Approximation

Presenter
  • David Keyes
September 8, 2024
ICERM
Bohua Zhan - Verifying symbolic computation in the HolPy theorem prover - IPAM at UCLA Thumbnail

Bohua Zhan - Verifying symbolic computation in the HolPy theorem prover - IPAM at UCLA

Presenter
  • Bohua Zhan
February 16, 2023
IPAM
Orit Peleg - Physical Computation in Insect Swarms Thumbnail

Orit Peleg - Physical Computation in Insect Swarms

Presenter
  • Orit Peleg
February 17, 2022
IPAM

Set-oriented computation in dynamics

Presenter
  • Kathrin Padberg-Gehle
April 7, 2016
ICERM