Computer Interval Arithmetic: Definition and Proof of Correct Implementation
From MaRDI portal
Publication:5626146
DOI10.1145/321607.321610zbMath0221.65077OpenAlexW2074290807MaRDI QIDQ5626146
Donald I. Good, Ralph L. London
Publication date: 1970
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/321607.321610
Related Items (2)
On the use of interval mathematics in fuzzy expert systems ⋮ Proving programs correct: Some techniques and examples
This page was built for publication: Computer Interval Arithmetic: Definition and Proof of Correct Implementation
