Today

  • The IEANTN Project: Automation and Mathematical Understanding

    Virtual

    New Technologies in Mathematics Seminar Speaker: Xinjie He, UCLA Title: The IEANTN Project: Automation and Mathematical Understanding Abstract: Explicit analytic number theory combines conceptual arguments with extensive bookkeeping and numerical computation, often drawing on long chains of results across many papers. The Integrated Explicit Analytic Number Theory Network (IEANTN) aims to organize this literature into […]

  • CMSA/Tsinghua Math-Science Literature Lecture: Peng Shan, Tsinghua University

    Featured
    Virtual

    CMSA/Tsinghua Math-Science Literature Lecture Date: Thursday, October 29, 2026 Time: 9:00 - 10:30 am ET Location: online via Zoom Webinar   Please register to attend.  Zoom Webinar registration   Speaker: Peng Shan, Tsinghua University Title: Bridging affine vertex algebras and affine Springer fibres Abstract: In this talk, I would like to explain a program which […]