Maths Workshop Attracts Global Audience at University of Exeter
An international online workshop on "AI and Theorem Provers in Mathematics" brought together leading researchers, educators, and practitioners to explore...
Achim Brucker
An international online workshop on "AI and Theorem Provers in Mathematics" brought together leading researchers, educators, and practitioners to explore...