In the 2020-2021 academic year, the CMSA will be hosting a lecture series on Strongly Correlated Materials and High Tc Superconductor. All talks will take place from 10:30-12:00pm ET virtually on Zoom. […]
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 […]
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 […]
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 […]