TY  - RPRT
TI  - The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale
AU  - Matthew Bolan
AU  - Joachim Breitner
AU  - Jose Brox
AU  - Nicholas Carlini
AU  - Mario Carneiro
AU  - Floris van Doorn
AU  - Martin Dvorak
AU  - Andrés Goens
AU  - Aaron Hill
AU  - Harald Husum
AU  - Hernán Ibarra Mejia
AU  - Zoltan A. Kocsis
AU  - Bruno Le Floch
AU  - Amir Livne Bar-on
AU  - Lorenzo Luccioli
AU  - Douglas McNeil
AU  - Alex Meiburg
AU  - Pietro Monticone
AU  - Pace P. Nielsen
AU  - Emmanuel Osalotioman Osazuwa
AU  - Giovanni Paolini
AU  - Marco Petracci
AU  - Bernhard Reinke
AU  - David Renshaw
AU  - Marcus Rossel
AU  - Cody Roux
AU  - Jérémy Scanvic
AU  - Shreyas Srinivas
AU  - Anand Rao Tadipatri
AU  - Terence Tao
AU  - Vlad Tsyrklevich
AU  - Fernando Vaquerizo-Villar
AU  - Daniel Weber
AU  - Fan Zheng
PY  - 2025
UR  - https://arxiv.org/abs/2512.07087
ID  - 2512.07087
ER  -