Nesterov, Vyacheslav Kreinovich, Vladik Nguyen, Hung T. on Hardware Support for Interval Computations and for Soft Computing: Theorems - 108-127 p. Subjects--Topical Terms: Soft ComputingTheoremInterval Computations