1 citations · 1 across the 2 of their papers we have counts for
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★ 1 cited
Differential identities of matrix algebras
Jose Brox, Carla Rizzo
We study the differential identities of the algebra of matrices over a field of characteristic zero when its full Lie algebra of derivations, $L=\mbox{Der}…