Showing math.RAShow all
2 papers · 1 filter
math.RA2025
The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale
Matthew Bolan, Joachim Breitner, Jose Brox +31
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 suc…
math.RA2024
The separativity problem in terms of varieties and diagonal reduction
Pere Ara, Ken Goodearl, Pace P. Nielsen +2
We provide two new formulations of the separativity problem. First, it is known that separativity (and strong separativity) in von Neumann regular (and exchange) rings is tightly c…