RangeLab

MaRDI QIDQ53742swMATHFDO

Official website https://ieeexplore.ieee.org/abstract/document/6169510

Cited in

(4)

• An abstract interpretation framework for the round-off error analysis of floating-point programs
• FPTuner
• PRECiSA
• Rigorous roundoff error analysis of probabilistic floating-point computations

This page was built for software: RangeLab