FILIB++, a fast interval library supporting containment computations | ACM Transactions on Mathematical Software (TOMS) | DeepDyve