Approximate Translation from Floating-Point to Real-Interval Arithmetic

Daisuke Ishii, Takashi Tomita, Toshiaki Aoki

Floating-point arithmetic (FPA) is a mechanical representation of real arithmetic (RA), where each operation is replaced with a rounded counterpart. Various numerical properties ca…