Amanote Research
Register
Sign In
Guaranteed Proofs Using Interval Arithmetic
doi 10.1109/arith.2005.25
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
M. Daumas
G. Melquiond
C. Munoz
Publisher
IEEE