RangeLab

swMATH38042MaRDI QIDQ53742FDOQ53742

Author name not available (Why is that?)

Cited In (2)

• An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs
• Rigorous roundoff error analysis of probabilistic floating-point computations

This page was built for software: RangeLab