Skip to content
book: Interval Analysis
Licensed Unlicensed Requires Authentication Published by De Gruyter 2017

Interval Analysis

and Automatic Result Verification

Günter Mayer
Volume 65 in the series De Gruyter Studies in Mathematics