Shin'ichi Oishi. Error free transformations of floating point numbers and its applications to constructing efficient error free numerical algorithms. In Hiroshi Kai, Hiroshi Sekigawa, Tateaki Sasaki, Kiyoshi Shirayanagi, Ilias S. Kotsireas, editors, Symbolic Numeric Computation, SNC '09, Kyoto, Japan - August 03 - 05, 2009. pages 3-4, ACM, 2009. [doi]
Abstract is missing.