TY  - JOUR 
AU  - Brox López, José Ramón
AU  - Tao, Terence
AU  - Bolan, Matthew
AU  - Breitner, Joachim
AU  - Carlini, Nicholas
AU  - Carneiro, Mario
AU  - van Doorn, Floris
AU  - Dvorak, Martin
AU  - Goens, Andrés
AU  - Hill, Aaron
AU  - Husum, Harald
AU  - Ibarra Mejía, Hernán
AU  - Kocsis, Zoltan
AU  - Le Floch, Bruno
AU  - Livne Bar-on, Amir
AU  - Luccioli, Lorenzo
AU  - McNeil, Douglas
AU  - Meiburg, Alex
AU  - Monticone, Pietro
AU  - Nielsen, Pace P.
AU  - Osalotioman Osazuwa, Emmanuel
AU  - Paolini, Giovanni
AU  - Petracci, Marco
AU  - Reinke, Bernhard
AU  - Renshaw, David
AU  - Rossel, Marcus
AU  - Roux, Cody
AU  - Scanvic, Jérémy
AU  - Srinivas, Shreyas
AU  - Tadipatri, Anand Rao
AU  - Tsyrklevich, Vlad
AU  - Vaquerizo Villar, Fernando
AU  - Weber, Daniel
AU  - Zheng, Fan
PY  - 2025
UR  - https://uvadoc.uva.es/handle/10324/80484
AB  - We report on the Equational Theories Project (ETP), an online collaborative pilot project to explore new ways to collaborate in mathematics with machine assistance. The project successfully determined all 22 028 942 edges of the implication graph...
LA  - eng
PB  - arXiv
KW  - Álgebra universal
KW  - Inteligencia artificial
KW  - Demostración automática de teoremas
KW  - Formalización de las matemáticas
KW  - Matemáticas colaborativas
KW  - Teoría de grupos
KW  - Álgebra universal
KW  - Inteligencia artificial
KW  - Demostración automática de teoremas
KW  - Formalización de las matemáticas
KW  - Matemáticas colaborativas
KW  - Magmas
KW  - Identidades polinómicas
KW  - Vampire
KW  - Prover9-Mace4
KW  - Lean
KW  - GitHub
KW  - Teoría de grupos
TI  - The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale
DO  - 10.48550/arXiv.2512.07087
ER  -