2 papers
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.FA2013
The (B) conjecture for uniform measures in the plane
Amir Livne Bar-on
We prove that for any two centrally-symmetric convex shapes , the function is log-concave. This extends a result of Cordero-Era…