3 papers
math.NT2026
The degrees of irreducible factors of binomials and multiplicativity of the n-Hartley condition
Matthew Bolan, Ben Williams
We prove that, over a field of characteristic , the degrees of factors of a binomial are divisible by the least such degree. As a consequence, we deduce that for relativ…
math.DG2025
A genus-zero surface with bounded curvature enclosing less volume than the unit sphere
Matthew Bolan
We produce a family of bodies in parameterized by , each bounded by a smooth topological sphere with principal curvatures in , and having vo…
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…