Relational Floating-Point Arithmetic
We present a minimal relational floating-point arithmetic that supports comparison, addition/subtraction, and multiplication/division %. These relations support in a binary, normalized floating-point system with rounding by chopping. The system can be used to solve simple arithmetic problems, quadratic equations, and can reason relationally about overflow. We also show that its runtime generally grows exponentially with respect to precision, and that multiplication runtime grows exponentially with respect to the number of 1’s in the mantissa.
Fri 27 AugDisplayed time zone: Seoul change
01:30 - 03:00
|Relational Content Generation|
Chris Martens North Carolina State UniversityMedia Attached
|Relational Floating-Point Arithmetic|
Lucas Sandre University of Toronto Mississauga, Malaika Zaidi University of Toronto Mississauga, Lisa Zhang University of Toronto MississaugaPre-print Media Attached