Dokumentanzeige 

Zur Kurzanzeige

Título
The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale
dc.contributor.authorBrox López, José Ramón
dc.contributor.authorTao, Terence
dc.contributor.authorBolan, Matthew
dc.contributor.authorBreitner, Joachim
dc.contributor.authorCarlini, Nicholas
dc.contributor.authorCarneiro, Mario
dc.contributor.authorvan Doorn, Floris
dc.contributor.authorDvorak, Martin
dc.contributor.authorGoens, Andrés
dc.contributor.authorHill, Aaron
dc.contributor.authorHusum, Harald
dc.contributor.authorIbarra Mejía, Hernán
dc.contributor.authorKocsis, Zoltan
dc.contributor.authorLe Floch, Bruno
dc.contributor.authorLivne Bar-on, Amir
dc.contributor.authorLuccioli, Lorenzo
dc.contributor.authorMcNeil, Douglas
dc.contributor.authorMeiburg, Alex
dc.contributor.authorMonticone, Pietro
dc.contributor.authorNielsen, Pace P.
dc.contributor.authorOsalotioman Osazuwa, Emmanuel
dc.contributor.authorPaolini, Giovanni
dc.contributor.authorPetracci, Marco
dc.contributor.authorReinke, Bernhard
dc.contributor.authorRenshaw, David
dc.contributor.authorRossel, Marcus
dc.contributor.authorRoux, Cody
dc.contributor.authorScanvic, Jérémy
dc.contributor.authorSrinivas, Shreyas
dc.contributor.authorTadipatri, Anand Rao
dc.contributor.authorTsyrklevich, Vlad
dc.contributor.authorVaquerizo Villar, Fernando 
dc.contributor.authorWeber, Daniel
dc.contributor.authorZheng, Fan
dc.date.accessioned2025-12-11T03:15:20Z
dc.date.available2025-12-11T03:15:20Z
dc.date.issued2025-12-08
dc.identifier.citationarXiv:2512.07087es
dc.identifier.urihttps://uvadoc.uva.es/handle/10324/80484
dc.descriptionProducción Científicaes
dc.description.abstractWe 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 between the 4694 simplest equational laws on magmas, by a combination of human-generated and automated proofs, all validated by the formal proof assistant language Lean. As a result of this project, several new constructions of magmas satisfying specific laws were discovered, and several auxiliary questions were also addressed, such as the effect of restricting attention to finite magmas.es
dc.format.mimetypeapplication/pdfes
dc.language.isoenges
dc.publisherarXives
dc.rights.accessRightsinfo:eu-repo/semantics/openAccesses
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/*
dc.subjectÁlgebra universales
dc.subjectInteligencia artificiales
dc.subjectDemostración automática de teoremases
dc.subjectFormalización de las matemáticases
dc.subjectMatemáticas colaborativases
dc.subjectTeoría de gruposes
dc.subject.classificationÁlgebra universales
dc.subject.classificationInteligencia artificiales
dc.subject.classificationDemostración automática de teoremases
dc.subject.classificationFormalización de las matemáticases
dc.subject.classificationMatemáticas colaborativases
dc.subject.classificationMagmases
dc.subject.classificationIdentidades polinómicases
dc.subject.classificationVampirees
dc.subject.classificationProver9-Mace4es
dc.subject.classificationLeanes
dc.subject.classificationGitHubes
dc.subject.classificationTeoría de gruposes
dc.titleThe Equational Theories Project: Advancing Collaborative Mathematical Research at Scalees
dc.typeinfo:eu-repo/semantics/articlees
dc.identifier.doi10.48550/arXiv.2512.07087es
dc.relation.publisherversionhttps://arxiv.org/abs/2512.07087es
dc.peerreviewedNOes
dc.description.projectFinanciado por el contrato postdoctoral “Convocatoria 2021” de la Universidad de Valladolid, y parcialmente financiado por el proyecto nacional PID2022-137283NB-C22 del MCIN/AEI/10.13039/501100011033 y por ERDF “A way of making Europe”es
dc.rightsAtribución 4.0 Internacional*
dc.type.hasVersioninfo:eu-repo/semantics/draftes


Dateien zu dieser Ressource

Thumbnail
Name:
The equational theories project. ...
Größe:
3.699Mb
Format:
PDF
Öffnen

Das Dokument erscheint in:

Zur Kurzanzeige