4 papers
Universality of Infinite Chess
Matthew Bolan, Andreas Tsevas
We prove that chess played on the infinite chessboard with infinitely many pieces is as powerful as it could possibly be, by showing that every open Gale-Stewart gam…
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 relati…
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…
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…