2 ms·
you may find this interesting if you haven't seen it already: https://fredrikj.net/blog/2017/11/new-rigorous-numerical-integration-in-arb/ https://fredrikj.net/
by moonchild 2y ago
you may find this interesting if you haven't seen it already: https://fredrikj.net/blog/2017/11/new-rigorous-numerical-integration-in-arb/ https://fredrikj.net/blog/2017/11/new-rigorous-numerical-int...
- kragen 2y agoi hadn't, this is fantastic!
- infruset 2y agoIf on top of rigorous, you want them to be formally verified in Coq at the same time as they are computed: https://www.lri.fr/~melquion/doc/18-jar.pdf https://www.lri.fr/~melquion/doc/18-jar.pdf
- kragen 2y agois this the one mentioned in fredrik's post? he links https://www.lri.fr/~melquion/doc/16-itp-article.pdf https://www.lri.fr/~melquion/doc/16-itp-article.pdf which is presumably a different paper by the same author
- infruset 2y agoI think they are the conference and journal versions of the same paper. Hadn't seen it was mentioned in the article, I should have read it more thoroughly!