Rigorous Floating-Point Round-Off Error Analysis in PRECiSA 4.0.

Laura Titolo, Mariano M. Moscato, Marco A. Feli, Paolo Masci, Csar A. Muoz

Browse the full FM paper archive.