DOI10.1007/BF02281724zbMath0442.65028MaRDI QIDQ1143750
S. H. Smith
Publication date: 1980 Published in: Computing (Search for Journal in Brave)
zbMATH Keywords
interval arithmetic; inclusion isotonic centered ball extensions
Mathematics Subject Classification ID
65G30: Interval and finite arithmetic
06B23: Complete lattices, completions