Hideyuki Kabuo Takashi Taniguchi Akira Miyoshi Hitoshi Yamashita Miki Urano Hisakazu Edamatsu Shigeo Kuninobu Accurate Ronding Scheme for the Newton-Raphson Method Using Redundant Binary Representation. 43-51 1994 43 IEEE Trans. Computers 1 db/journals/tc/tc43.html#KabuoTMYUEK94