Home

FPTaylor is a tool for rigorous estimation of round-off errors in floating-point computations.

Official FPTaylor repository: https://github.com/soarlab/FPTaylor

Try out FPTaylor without installing it:
https://www.aptlab.net/p/FPTaylor/FPTaylorVM/0

Read Reference Manual to try out your own examples in FPTaylor.