Dataset - CKAN

Efficient algorithms for verified scientific computing : Numerical linear alg...

Interval arithmetic is a means to compute verified results. However, a naive use of interval arithmetic does not provide accurate enclosures of the exact results....
- HTML

You can also access this registry using the API (see API Docs).