RN-Coding of Numbers: Definition and Some Properties, Proc. Int'l Meeting on Automated Compliance Systems (IMACS '05), 2005. ,
A SIGNED BINARY MULTIPLICATION TECHNIQUE, The Quarterly Journal of Mechanics and Applied Mathematics, vol.4, issue.2, pp.236-240, 1951. ,
DOI : 10.1093/qjmam/4.2.236
Multiplication Algorithms for Radix-2 RN-Codings and Two's Complement Numbers, technical report, 2005. ,
754-2008 Standard for Floating-Point Arithmetic, 2008. ,
Multistep gradual rounding, IEEE Transactions on Computers, vol.38, issue.4, pp.595-600, 1989. ,
DOI : 10.1109/12.21152
An IEEE compliant floating-point adder that conforms with the pipeline packet-forwarding paradigm, IEEE Transactions on Computers, vol.49, issue.1, pp.33-47, 2000. ,
DOI : 10.1109/12.822562
Interval Analysis, 1963. ,
On the Design of High Performance Digital Arithmetic Units, 1981. ,