4 citations · 4 across the 3 of their papers we have counts for
1 paper · 1 filter
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…