Applications of interval computations. Proceedings of an international workshop, El Paso, TX, USA, February 23-25, 1995 (Q1910501)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Kearfott, R. Baker; Kreinovich, Vladik}, Applications of interval computations: An introduction, 1-22 [Zbl 0841.65031] \textit{Kearfott, R. Baker}, A review of techniques in the verified solution of constrained global optimization problems, 23-59 [Zbl 0841.65049] \textit{Alefeld, Götz; Kreinovich, Vladik; Mayer, Günter}, The shape of the symmetric solution set, 61-79 [Zbl 0841.15002] \textit{Rohn, Jiří}, Linear interval equations: Computing enclosures with bounded relative overestimation is NP-hard, 81-89 [Zbl 0841.65027] \textit{Hadjihassan, Sevgui; Walter, Eric; Pronzato, Luc}, Quality improvement via optimization of tolerance intervals during the design stage, 91-131 [Zbl 0856.62092] \textit{Jerrell, Max E.}, Applications of interval computations to regional economic input-output models, 133-143 [Zbl 0842.90018] \textit{Fefferman, Charles L.; Seco, Luis A.}, Interval arithmetic in quantum mechanics, 145-167 [Zbl 0841.65067] \textit{Hyvönen, Eero; De Pascale, Stefano}, Interval computations on the spreadsheet, 169-209 [Zbl 0841.65032] \textit{Semenov, Alexander L.}, Solving optimization problems with help of the UniCalc solver, 211-225 [Zbl 0841.65050] \textit{Berleant, Daniel}, Automatically verified arithmetic on probability distributions and intervals, 227-244 [Zbl 0841.65143] \textit{Nguyen, Hung T.; Kreinovich, Vladik}, Nested intervals and sets: Concepts, relations to fuzzy sets, and applications, 245-290 [Zbl 0841.65148] \textit{Kohout, L. J.; Bandler, W.}, Fuzzy interval inference utilizing the checklist paradigm and BK-relational products, 291-335 [Zbl 0853.68163] \textit{Rocha, Luis Mateus; Kreinovich, Vladik; Kearfott, R. Baker}, Computing uncertainty in interval based sets, 337-380 [Zbl 0843.68114] \textit{Schulte, Michael J.; Swartzlander, Earl E. jun.}, Software and hardware techniques for accurate, self-validating arithmetic, 381-404 [Zbl 0960.68505] \textit{Walster, G. William}, Stimulating hardware and software support for interval arithmetic, 405-416 [Zbl 0841.65033]