Events Search and Views Navigation

Event Views Navigation

Today

  • Lecture_Fukaya-pdf

    CMSA Math-Science Literature Lecture: Homological (homotopical) algebra and moduli spaces in Topological Field theories

    Virtual

    Kenji Fukaya (Simons Center for Geometry and Physics) Title: Homological (homotopical) algebra and moduli spaces in Topological Field theories Abstract: Moduli spaces of various gauge theory equations and of various versions of (pseudo) holomorphic curve equations have played important role in geometry in these 40 years. Started with Floer’s work people start to obtain more […]

  • 2/24/2021 New Technologies in Mathematics

    A Mathematical Language

      Speaker: Thomas Hales, Univ. of Pittsburgh Dept. of Mathematics Title: A Mathematical Language Abstract: A controlled natural language for mathematics is an artificial language that is designed in an explicit way with precise computer-readable syntax and semantics.  It is based on a single natural language (which for us is English) and can be broadly […]

  • Mathematical supergravity and its applications to differential geometry

    Hybrid

    Speaker: Carlos S. Shahbazi (Hamburg University) Title: Mathematical supergravity and its applications to differential geometry Abstract: I will discuss the recent developments in the mathematical theory of supergravity that lay the mathematical foundations of the universal bosonic sector of four-dimensional ungauged supergravity and its Killing spinor equations in a differential-geometric framework.  I will provide the […]

  • 3/3/2021 New Tech in Math

    Neural Theorem Proving in Lean using Proof Artifact Co-training and Language Models

    Virtual

    https://youtu.be/EXpmbAfBNnw Speaker: Jason Rute, CIBO Technologies Title: Neural Theorem Proving in Lean using Proof Artifact Co-training and Language Models Abstract: Labeled data for imitation learning of theorem proving in large libraries of formalized mathematics is scarce as such libraries require years of concentrated effort by human specialists to be built. This is particularly challenging when applying […]