2 papers
cs.PL2025
Satire: Computing Rigorous Bounds for Floating-Point Rounding Error in Mixed-Precision Loop-Free Programs
Tanmay Tirpankar, Arnab Das, Ganesh Gopalakrishnan
Techniques that rigorously bound the overall rounding error exhibited by a numerical program are of significant interest for communities developing numerical software. However, the…
cs.MS2024
Rigorous Error Analysis for Logarithmic Number Systems
Thanh Son Nguyen, Alexey Solovyev, Ganesh Gopalakrishnan
Logarithmic Number Systems (LNS) hold considerable promise in helping reduce the number of bits needed to represent a high dynamic range of real-numbers with finite precision, and…