APA (7th ed.) Citation

Nanniyur, S., & Jayanti, S. (2026). Machine-Verifying Toom-Cook Multiplication with Integer Evaluation Points.

Chicago Style (17th ed.) Citation

Nanniyur, Srihari, and Siddhartha Jayanti. Machine-Verifying Toom-Cook Multiplication with Integer Evaluation Points. 2026.

MLA (9th ed.) Citation

Nanniyur, Srihari, and Siddhartha Jayanti. Machine-Verifying Toom-Cook Multiplication with Integer Evaluation Points. 2026.

Warning: These citations may not always be 100% accurate.