On hardware support for interval computations and for soft computing: theorems | IEEE Journals & Magazine | IEEE Xplore