Image de couverture de livre

The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Bolan, Matthew, Breitner, Joachim, Brox, Jose, Carlini, Nicholas, Carneiro, Mario, van Doorn, Floris, Dvorak, Martin, Goens, Andrés, Hill, Aaron, Husum, Harald, Mejia, Hernán Ibarra, Kocsis, Zoltan A., Floch, Bruno Le, Bar-on, Amir Livne, Luccioli, Lorenzo, McNeil, Douglas, Meiburg, Alex, Monticone, Pietro, Nielsen, Pace P., Osazuwa, Emmanuel Osalotioman, Paolini, Giovanni, Petracci, Marco, Reinke, Bernhard, Renshaw, David, Rossel, Marcus, Roux, Cody, Scanvic, Jérémy, Srinivas, Shreyas, Tadipatri, Anand Rao, Tao, Terence, Tsyrklevich, Vlad, Vaquerizo-Villar, Fernando, Weber, Daniel, Zheng, Fan
Format:	Preprint
Publié:	2025
Sujets:	Rings and Algebras Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Internet

https://arxiv.org/abs/2512.07087