The Inside View: Raymarching and the Thurston Geometries
On Wednesday, December 16 at 12:00 p.m. EST, WAM and CMSA will host a holiday seminar featuring Sabetta Matsumoto, Georgia Institute of Technology who will present The Inside View: Raymarching and the […]
A universal triangulation for flat tori
Speaker:Francis Lazarus, CNRS / Grenoble University Title: A universal triangulation for flat tori Abstract: A celebrated theorem of Nash completed by Kuiper implies that every smooth Riemannian surface has a […]
CMSA Math-Science Literature Lecture: Quantum topology and new types of modularity
Don Zagier (Max Planck Institute for Mathematics and International Centre for Theoretical Physics) Title: Quantum topology and new types of modularity Abstract: The talk concerns two fundamental themes of modern […]
AI and Theorem Proving
https://youtu.be/UnYrWuOzOlc Speaker: Josef Urban, Czech Technical University Title: AI and Theorem Proving Abstract: The talk will discuss the main approaches that combine machine learning with automated theorem proving and automated […]
Language Modeling for Mathematical Reasoning
Speaker: Christian Szegedy Title: Language Modeling for Mathematical Reasoning Abstract: In this talk, I will summarize the current state of the art of transformer based language models and give examples on […]
Gromov-Witten/Donaldson Thomas theory and Birational/Symplectic invariants for algebraic surfaces
During the Spring 2021 Semester Artan Sheshmani (CMSA/ I.M. A.U.) will be teaching a CMSA special lecture series on Gromov-Witten/Donaldson Thomas theory and Birational/Symplectic invariants for algebraic surfaces. In order to attend this […]
CMSA Math-Science Literature Lecture: Discrepancy Theory and Randomized Controlled Trials
Dan Spielman (Yale University) Title: Discrepancy Theory and Randomized Controlled Trials Abstract: Discrepancy theory tells us that it is possible to partition vectors into sets so that each set looks […]