Login / Signup
Philip G. Warton
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Matrix Multiplication
Pairwise
Distributed Memory
Formal Verification
Top Venues
CoRR
</>
Publications
</>
Huck Bennett
,
Karthik Gajulapalli
,
Alexander Golovnev
,
Philip G. Warton
Matrix Multiplication Verification Using Coding Theory.
CoRR
(2023)