Stimulating Hardware and Software Support for Interval Arithmetic
Commercial hardware and software system suppliers do not yet include support for interval arithmetic in their products. In this paper, the reasons for this lack of support are described. Based on these descriptions, recommendations are made to help stimulate end-user demand and commercial support for interval arithmetic.
KeywordsInterval Arithmetic Floating Point Application Developer Interval Method Float Point Arithmetic
Unable to display preview. Download preview PDF.
- A. B. Babichev, O. B. Kadyrova, T. P. Kashevarova, A. S. Leshchenko, and A. L. Semenov, “UniCalc, A novel approach to solving systems of algebraic equations”, Proceedings of the International Conference on Numerical Analysis with Automatic Result Verifications. Lafayette, Louisiana, USA, February-March, 1993, Interval Computations, 1993, No. 2, pp. 29–47.Google Scholar
- G. F. Corliss, Personal communication.Google Scholar
- E. R. Hansen, “A generalized interval arithmetic”, In: K. Nickel (ed.), Interval mathematics, Springer-Verlag, Lecture Notes in Computer Science, 1975, Vol. 29, pp. 7–18.Google Scholar
- E. Hyvönen and S. De Pascale, “InC++ library family for interval computations”, Reliable Computing, 1995, Supplement (Extended Abstracts of APIC’95: International Workshop on Applications of Interval Computations, El Paso, TX, Feb. 23-25, 1995), pp. 85–90.Google Scholar
- E. Hyvonen and S. De Pascale, “Interval constraint Excel”, Reliable Computing, 1995, Supplement (Extended Abstracts of APIC’95: International Workshop on Applications of Interval Computations, El Paso, TX, Feb. 23–25, 1995 ), pp. 91–101.Google Scholar
- R. B. Kearfott, Interval interest group alias: “email@example.com”.Google Scholar
- V. Kreinovich, Interval Computations URL: “http://cs.utep.edu/interval-comp/main.html”.Google Scholar
- S. M. Rump, “Accuracy Control and Estimation, Self-Validating Systems and Software Environments for Scientific Computation”, IFIP Trans. A, Comput. Sci. Technol. (Netherlands), 1992, Vol. A-2, pp. 49–56.Google Scholar
- W. V. Walter, “FORTRAN-XSC: A Portable Fortran 90 Module Library for Accurate and Reliable Scientific Computing”, Computing (Suppl.), 1993, Vol. 9, pp. 265–286.Google Scholar
- W. V. Walter, “ACRITH-XSC: A Fortran-Like Language for Verified Scientific Computing”, In: E. Adams and U. Kulisch, Scientific Computing with Automatic Result Verification, Academic Press, New York, 1993, pp. 45–70.Google Scholar