The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale

@article{bolan_arxiv25,
  author       = {Matthew Bolan and
                  Joachim Breitner and
                  Jose Brox and
                  Nicholas Carlini and
                  Mario Carneiro and
                  Floris van Doorn and
                  Martin Dvorak and
                  Andr{\'{e}}s Goens and
                  Aaron Hill and
                  Harald Husum and
                  Hern{\'{a}}n Ibarra Mejia and
                  Zoltan A. Kocsis and
                  Bruno Le Floch and
                  Amir Livne Bar{-}on and
                  Lorenzo Luccioli and
                  Douglas McNeil and
                  Alex Meiburg and
                  Pietro Monticone and
                  Pace P. Nielsen and
                  Emmanuel Osalotioman Osazuwa and
                  Giovanni Paolini and
                  Marco Petracci and
                  Bernhard Reinke and
                  David Renshaw and
                  Marcus Rossel and
                  Cody Roux and
                  J{\'{e}}r{\'{e}}my Scanvic and
                  Shreyas Srinivas and
                  Anand Rao Tadipatri and
                  Terence Tao and
                  Vlad Tsyrklevich and
                  Fernando Vaquerizo{-}Villar and
                  Daniel Weber and
                  Fan Zheng},
  title        = {The Equational Theories Project: Advancing Collaborative Mathematical
                  Research at Scale},
  journal      = {CoRR},
  volume       = {abs/2512.07087},
  year         = {2025},
  url          = {https://doi.org/10.48550/arXiv.2512.07087},
  doi          = {10.48550/ARXIV.2512.07087},
  eprinttype    = {arXiv},
  eprint       = {2512.07087},
  timestamp    = {Sun, 01 Feb 2026 00:00:00 +0100},
}