Tool for Rigorous Estimation of Round-Off Floating-Point Errors
soarlab
:dart: soap - Structural Optimisation of Arithmetic Programs
admk