Licensed
Unlicensed
Requires Authentication
Interval Analysis
and Automatic Result Verification
Volume 65 in the series
De Gruyter Studies in Mathematics