Karatsuba Multiplication on Integers

Jakob Schulz, Emin Karayel. Karatsuba Multiplication on Integers. Archive of Formal Proofs, 2024, 2024. [doi]