soarlab/FPTaylor

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

语言：OCaml · GitHub 星标：37 · Fork：12

话题：analysis · estimation · floating-point · floating-point-accuracy-problems · round-off-error

在 GitHub 上查看原仓库