einstein constraint equations 1gluing constructions 1gravitational shielding 1stability analysis 1weighted inequalities 1
From the 1 of 7 linked papers with an AI index.
Showing math.RAShow all
2 papers · 1 filter
math.RA2026
Implication semilattice of 990 quasigroup equational laws
Bruno Le Floch
In his quest to disprove a claim by Peirce that all lattices are distributive, Ernst Schröder considered 135 years ago a list of 990 equational laws on quasigroups, analogous to a…
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…