PRECiSA

swMATH38041MaRDI QIDQ53741FDOQ53741

Author name not available (Why is that?)

Described by source

• An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs

Cited In (3)

• Formal analysis of the compact position reporting algorithm
• Exploiting verified neural networks via floating point numerical error
• Rigorous roundoff error analysis of probabilistic floating-point computations

This page was built for software: PRECiSA