• Skip to primary navigation
  • Skip to content
  • Skip to footer
MathBases
  • Find
  • Create
  • Info

    Automated Mathematics: Integrating Proofs, Algorithms and Data

    2023-10-01 - 2023-10-06

    Schloss Dagstuhl, Germany

    Conference website

    Organizers: Andrej Bauer, Katja Berčič, Florian Rabe, Nicolas Thiéry

    Updated: June 6, 2025

    MathBases - Of, by, and for mathematical databases