The Equational Theories Project: Advancing Collaborative Mathematical Research at ScaleBy adminDecember 14, 20250 Matthew Bolan, Joachim Breitner, Jose Brox, Nicholas Carlini, Mario Carneiro, Floris van Doorn, Martin Dvorak, Andrés Goens, Aaron Hill, Harald…
Mathematical exploration and discovery at scaleBy adminNovember 7, 20250 Bogdan Georgiev, Javier Gómez-Serrano, Adam Zsolt Wagner, and I have uploaded to the arXiv our paper “Mathematical exploration and discovery…
