2 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
Srihari Nanniyur, Siddhartha Jayanti
We present a machine-verified proof of the correctness of Toom-Cook multiplication with generalized integer evaluation points. Toom-Cook is a class of fast multiplication algorithm…