Radix-10 addition with radix-1000 encoding of decimal operands | IEEE Conference Publication | IEEE Xplore