A generalized interval package and its use for semantic checking
- 1 December 1984
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Mathematical Software
- Vol. 10 (4) , 397-409
- https://doi.org/10.1145/2701.2702
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- Software for Interval Arithmetic: A Reasonably Portable PackageACM Transactions on Mathematical Software, 1979
- Computer Interval Arithmetic: Definition and Proof of Correct ImplementationJournal of the ACM, 1970