Software - Interval Analysis Libraries | AMiner