Hacker News new | ask | show | jobs
Proving Laderman's 3x3 Matrix Multiplication Is Locally Optimal via SMT Solvers (zenodo.org)
1 points by DarenWatson 135 days ago