Skip to main content

All Questions

Filter by
Sorted by
Tagged with
11 votes
0 answers
355 views

Numerical integration using interval arithmetic, nowadays

Is there now a package for rigorous numerical integration that uses interval arithmetic and has access to a well-developed library of special functions? By "well-developed", I mean something that, at ...
H A Helfgott's user avatar