Start date cannot be after end date.
Moving Lapack and ScaLapack to Higher Precision without Too Much Work
Presenter
- Yozo Hida
January 30, 2007
SLMath
Terence Tao - Machine assistance and the future of research mathematics - IPAM at UCLA
Presenter
- Terence Tao
February 10, 2026
IPAM
Benedikt Ahrens - Univalent Foundations and the UniMath library - IPAM at UCLA
Presenter
- Benedikt Ahrens
February 13, 2023
IPAM
Leonardo de Moura - The Lean proof assistant: introduction and challenges - IPAM at UCLA
Presenter
- Leonardo de Moura
February 14, 2023
IPAM
Andrej Bauer - Formalizing invisible mathematics - IPAM at UCLA
Presenter
- Andrej Bauer
February 13, 2023
IPAM
Optimal Mass Transport in Medical Imaging Computation
Presenter
- Allen Tannenbaum
October 15, 2013
SLMath
Tony Wu - Autoformalization with Large Language Models - IPAM at UCLA
Presenter
- Tony Wu
February 15, 2023
IPAM
Johnathan Hanke - Computer-Assisted Proofs in the Arithmetic of Quadratic Forms - IPAM at UCLA
Presenter
- Johnathan Hanke
February 17, 2023
IPAM
From Lean to Natural Language and Back: Interfaces for Formal Proofs
Presenter
- Kyle Miller
April 26, 2025
ICERM
Sparse sampling methods for large scale experimental data
Presenter
- Rick Archibald
January 30, 2017
IPAM
Team 3: Materials Modeling: Shear Band Formation in Bulk Metallic Glasses
Presenter
- Timothy Burns
August 7, 2013
IMA