@misc{indiciae047ed9a2fbd7, title = {Type-Based Approaches to Rounding Error Analysis}, author = {Ariel Eileen Kellison}, year = {2025}, url = {https://arxiv.org/abs/2501.14598}, note = {Source identifier: 2501.14598} }