Abstract
This paper summarizes work in developing tools for verified scientific computing in a variety of computing environments.
Chapter PDF
Similar content being viewed by others
References
Adams, E. and Kulisch U., eds. (1993) Scientific Computing with Automatic Result Verification. Academic Press, New York.
Alefeld, G. and Herzberger, J. (1983) An Introduction to Interval Computations. Academic Press, New York.
Hammer, R., Hocks, M., Kulisch, U. and Ratz, D. (1993) Numerical Toolbox for Verified Computing I, Algorithms and Pascal-XSC Programs. Springer, Berlin.
Hammer, R., Hocks, M., Kulisch, U. and Ratz, D. (1995) C++ Toolbox for Verified Computing I. Springer, Berlin.
Klatte, R., Kulisch, U., Neaga, M. Ratz, D. and Ullrich, Ch. (1991) PASCAL-XSCSprachbeschreibung mit Beispielen. Springer, Berlin. English translation, 1992. Russian translation, 1996.
Klatte, R., Kulisch, U., Neaga, M. Ratz, D. and Ullrich, Ch. (1992) PASCAL-XSC Language Reference with Examples. Springer, Berlin.
Klatte, R., Kulisch, U., Lawo, Ch., Rauch, M. and Wiethoff, A. (1993) C-XSC, A C++ Class Library for Extended Scientific Computing. Springer, Berlin.
Krämer, W., Kulisch, U. and Lohner, R. (1996) Numerical Toolbox for Verified Computing II, Theory, Algorithms and Pascal-XSC Programs. Springer, Berlin.
Kulisch, U. (1976) Grundlagen des Numerischen Rechnens. BI Wissenschaftsverlag, Mannheim.
Kulisch, U. and Miranker, W. (1981) Computer Arithmetic in Theory and Practice. Academic Press, New York.
Kulisch, U. and Miranker, W., eds. (1983) A New Approach to Scientific Computation. Academic Press, New York.
GAMM-IMACS (1993) Proposal for accurate floating-Point vector arithmetic. Math. and Comp. in Simul., 35(4). Also in Rundbrief der GAMM, Brief 2.
IBM (1986) High Accuracy Arithmetic Subroutine Library (ACRITH), General Information Manual. 3rd edition, GC33–6163–02.
IBM (1990) High Accuracy Arithmetic—Extended Scientific Computation (ACRITHXSC), General Information. GC33–6461–01.
IBM (1984) System/370 RPQ, High Accuracy Arithmetic. SA22–7093–0..
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Kulisch, U. (1997). The XSC tools for extended scientific computing. In: Boisvert, R.F. (eds) Quality of Numerical Software. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-1-5041-2940-4_23
Download citation
DOI: https://doi.org/10.1007/978-1-5041-2940-4_23
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2942-8
Online ISBN: 978-1-5041-2940-4
eBook Packages: Springer Book Archive