JuliaIntervals / TaylorModels.jl

Rigorous function approximation using Taylor models in Julia
Other
63 stars 14 forks source link

Symbolic Taylor expansions for estimating round-off error #64

Open dpsanders opened 4 years ago

dpsanders commented 4 years ago

https://soarlab.org/papers/2018_toplas_sbbjrg.pdf

lbenet commented 4 years ago

Thanks for the link! I'll try to take a look on it.