Geometry and Mathematical Physics Seminar
Geometry and Mathematical Physics Seminar Speaker: John Alexander Cruz Morales, Universidad Nacional de Colombia
12 events found.
Member Seminar
Member Seminar Speaker: Lorenzo Riva
Large Hypercubes
AI for the Working Mathematician Speaker: Jordan Ellenberg, University of Wisconsin-Madison Title: Large Hypercubes Abstract: I'll talk about this paper: Bruhat intervals that are large hypercubes <arxiv.org/abs/2601.01235> in which we use […]
Geometry and Quantum Theory Seminar
Joint Math/CMSA Geometry and Quantum Theory Seminar
Prove2Me: Formalizing Fermat Last Theorem and Beyond
New Technologies in Mathematics Seminar Speaker: Tianyi Peng, Decision, Risk, and Operations Division, Columbia Business School Title: Prove2Me: Formalizing Fermat Last Theorem and Beyond Abstract: Proof assistants such as Lean 4 […]
First Proof Batch 3: Mathematicians putting AI to the test
AI for the Working Mathematician Speaker: Lauren Williams, Harvard Title: First Proof Batch 3: Mathematicians putting AI to the test Abstract: First Proof is an initiative that aims to obtain a […]
Geometry and Mathematical Physics Seminar
Geometry and Mathematical Physics Seminar Speaker: Spiro Karigiannis, University of Waterloo
Member Seminar
Member Seminar Speaker: Yiqi Liu
Geometry and Quantum Theory Seminar
Joint Math/CMSA Geometry and Quantum Theory Seminar
New Technologies in Mathematics Seminar
New Technologies in Mathematics Seminar Speaker: Riccardo Zecchina (Bocconi University)
AI for the Working Mathematician
AI for the Working Mathematician Speaker: TBA Title: TBA
Geometry and Mathematical Physics Seminar
Geometry and Mathematical Physics Seminar