Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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.
G. F. Corliss, Personal communication.
R. Hammer, M. Neaga, and D. Ratz, PASCAL-XSC, New Concepts for Scientific Computation and Numerical Data Processing, In: E. Adams and U. Kulisch, Scientific computing with automatic result verification, Academic Press, New York, 1993, pp. 15–44.
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.
E. R. Hansen, Global Optimization Using Interval Analysis, Marcel Decker Inc., New York, 1992.
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.
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.
R. B. Kearfott, Interval interest group alias: “reliable_computing@interval.usl.edu”.
R. B. Kearfott, M. Dawande, M., K.-S. Du, and C.-Y. Hu, “Algorithm 737: INTLIB: A Portable FORTRAN 77 Interval Standard Function Library”, ACM Trans. Math. Software, 1994, Vol. 20, No. 4, pp. 447–459.
R. B. Kearfott, “A Fortran 90 Environment for Research and Prototyping of Enclosure Algorithms for Constrained and Unconstrained Nonlinear Equations”, ACM Trans. Math. Software, 1995, Vol. 21, No. 1, pp. 63–78.
R. Klatte, U. Kulisch, A. Wiethoff, C. Lawo, and M. Rauch, C-XSC A C++ Class Library for Extended Scientific Computing, Springer-Verlag, New York, 1993.
V. Kreinovich, Interval Computations URL: “http://cs.utep.edu/interval-comp/main.html”.
C. Lawo, “C-XSC A Programming Environment for Verified Scientific Computing and Numerical Data Processing”, In: E. Adams and U. Kulisch, Scientific Computing with Automatic Result Verification, Academic Press, New York, 1993, pp. 71–86.
R. E. Moore, Interval Analysis, Prentice-Hall, Englewood Cliffs, New Jersey, 1966.
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.
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.
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.
J. Wolff von Gudenberg, “Programming Language Support for Scientific Computation”, Interval Computations, 1992, Vol. 4, pp. 116–126.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Kluwer Academic Publishers
About this chapter
Cite this chapter
Walster, G.W. (1996). Stimulating Hardware and Software Support for Interval Arithmetic. In: Kearfott, R.B., Kreinovich, V. (eds) Applications of Interval Computations. Applied Optimization, vol 3. Springer, Boston, MA. https://doi.org/10.1007/978-1-4613-3440-8_15
Download citation
DOI: https://doi.org/10.1007/978-1-4613-3440-8_15
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-3442-2
Online ISBN: 978-1-4613-3440-8
eBook Packages: Springer Book Archive