Kearfott, R. B.; Nakao, M. T.; Neumaier, A.; Rump, S. M.; Shary, S. P.; van Hentenryck, P. Standardized notation in interval analysis. (English) Zbl 1196.65088 Vychisl. Tekhnol. 15, No. 1, 7-13 (2010). Summary: A standard for the notation of the most used quantities and operators in interval analysis is proposed. Cited in 43 Documents MSC: 65G40 General methods in interval analysis 65G20 Algorithms with automatic result verification Keywords:interval analysis; verified computing; standardization PDFBibTeX XMLCite \textit{R. B. Kearfott} et al., Vychisl. Tekhnol. 15, No. 1, 7--13 (2010; Zbl 1196.65088)