vix.ing · top · new · best · stats · spec

Bolan, Matthew

  1. The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale
    2025/12/08 by Matthew Bolan, Bolan, Matthew, Joachim Breitner +65 · 1 voice · 2 citations
    Computer Science · Decision Sciences · Mathematics · #Computational Physics and Python Applications #Mathematics, Computing, and Information Processing #Scientific Computing and Data Management #cs.LO #math.RA