Machine-Verifying Toom-Cook Multiplication with Integer Evaluation Points

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…