Improved Bounds for Rounding Errors in Quantum Circuit Simulators. - Jonas Klamroth; Niko Lemke; Ruben Götz; Bernhard Beckert (Software Engineering Companion, 2025)