1 paper
Nandakumar Edamana, Piyush P Kurur, Unnikrishnan Cheramangalath
We give a new multiplication algorithm for tristate numbers improving upon the state-of-the-art implementation from the Linux kernel in terms of precision and formal proofs. Our al…