『C++ Interval Arithmetic Programming Reference』、『Interval Arithmetic Solves Nonlinear Problems While Providing Guaranteed Results』(http://www.sun.com/forte/info/features/intervals.html)、 -library