Podcast cover
Institute for Pure & Applied Mathematics (IPAM) ยท Science

Institute for Pure & Applied Mathematics (IPAM)

The Institute for Pure and Applied Mathematics (IPAM) is a National Science Foundation Math Institute at the University of California, Los Angeles (UCLA) that fosters the interaction of mathematics with a broad range of science and technology, builds new interdisciplinary research communities, promotes mathematical innovation, and engages and transforms the world through mathematics. IPAM fulfills its mission through workshops and programs that connect mathematics and other disciplines or multiple areas of mathematics. These activities bring in thousands of visitors annually from academia, government, and industry. The NSF has encouraged IPAM to make the scientific presentations of our speakers available to a wider audience. While this YouTube channel contains many of our most popular videos, our full video archive is available at www.ipam.ucla.edu/videos.

Episodes

Episode cover

Nathan Wiebe - Quantum Simulation - IPAM at UCLA

24 Feb 2023
2h 42m
Episode cover

Bobak Toussi Kiani - Quantum Machine Learning - IPAM at UCLA

24 Feb 2023
2h 5m
Episode cover

Jens Palsberg - Introduction to Quantum Algorithms - IPAM at UCLA

23 Feb 2023
2h 21m
Episode cover

Fall 2023 Info Session - Mathematical and Computational Challenges in Quantum Computing - IPAM UCLA

22 Feb 2023
20m
Episode cover

Heather Macbeth - Algorithm and abstraction in formal mathematics - IPAM at UCLA

17 Feb 2023
50m
Episode cover

Johnathan Hanke - Computer-Assisted Proofs in the Arithmetic of Quadratic Forms - IPAM at UCLA

17 Feb 2023
46m
Episode cover

Petra Hozzova - Automation of Induction in Saturation - IPAM at UCLA

17 Feb 2023
50m
Episode cover

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

17 Feb 2023
52m
Episode cover

Maria Ines de Frutos Fernandez - Formalizing Norm Extensions and Applications to Number Theory

17 Feb 2023
38m
Episode cover

James Davenport - How to prove a calculation correct? - IPAM at UCLA

16 Feb 2023
52m
Episode cover

Pascal Fontaine - SMT: quantifiers, and future prospects - IPAM at UCLA

16 Feb 2023
52m
Episode cover

Jason Rute - Deep learning in interactive theorem proving - IPAM at UCLA

16 Feb 2023
55m
Episode cover

Tony Wu - Autoformalization with Large Language Models - IPAM at UCLA

16 Feb 2023
54m
Episode cover

Patrick Massot - Formal mathematics for mathematicians and mathematics students - IPAM at UCLA

15 Feb 2023
54m
Episode cover

Micaela Mayero - Overview of real numbers in theorem provers: application with real analysis in Coq

15 Feb 2023
44m
Episode cover

Anne Baanen - Computing with or despite the computer - IPAM at UCLA

15 Feb 2023
1h 1m
Episode cover

Haniel Barbosa - Better SMT proofs for certifying compliance and correctness - IPAM at UCLA

15 Feb 2023
59m
Episode cover

Adam Wagner - Finding counterexamples to conjectures via reinforcement learning - IPAM at UCLA

14 Feb 2023
50m
Episode cover

Leonardo de Moura - The Lean proof assistant: introduction and challenges - IPAM at UCLA

14 Feb 2023
48m
Episode cover

Marc Lackenby - Using machine learning to formulate mathematical conjectures - IPAM at UCLA

14 Feb 2023
50m
Page 55

Follow this podcast in Podwise

Sign in to get AI summaries, transcripts and mind maps for any episode, including new ones.

Open in Podwise