Proving Laderman's 3x3 Matrix Multiplication Is Locally Optimal via SMT Solvers (zenodo.org) 1 points by DarenWatson 7mo ago ↗ HN
0 comments
[ 3.6 ms ] story [ 13.9 ms ] threadNo comments yet.