/FPTaylor

Tool for Rigorous Estimation of Round-Off Floating-Point Errors

Primary LanguageOCamlMIT LicenseMIT

Stargazers