Rigorous Error Analysis for Logarithmic Number Systems - Nguyen, Thanh Son; Solovyev, Alexey; Arnold, Mark G.; Gopalakrishnan, Ganesh (2025 IEEE 32nd Symposium on Computer Arithmetic (ARITH), Computer Arithmetic (ARITH), 2025 IEEE 32nd Symposium on, ARITH, 2025)