Guaranteed Proofs Using Interval Arithmetic

doi 10.1109/arith.2005.25
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

IEEE