Abstract
In this note the main features and newer developments of the C++ class library for extended scientific computing C-XSC 2.0 will be discussed.
The original version of the C-XSC library is about ten years old. But in the last decade the underlying programming language C++ has been developed significantly. Since November 1998 the C++ standard is available and more and more compilers support (most of) the features of this standard. The new version C-XSC 2.0 conforms to this standard. Application programs written for older C-XSC versions have to be modified to run with C-XSC 2.0. Several examples will help the user to see which changes have to be done. Note, that all sample codes given in [6] have to be modified to work properly with C-XSC 2.0.
All sample codes listed in this note will be made available on the web page http://www.math.uni-wuppertal.de/xsc/cxsc/examples .
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Cuyt, A., Verdonk, B., Becuwe, S., Kuterna, P.: A Remarkable Example of Catastrophic Cancellation Unraveled. Computing 66, 309–320 (2001)
Hammer, R., Hocks, M., Kulisch, U., Ratz, D.: C++ Toolbox for Verified Computing. Basic Numerical Problems. Springer, Berlin (1995)
Hölbig, C., Krämer, W.: Selfverifying Solvers for Dense Systems of Linear Equations Realized in C-XSC. Preprint BUW-WRSWT 2003/1, Universität Wuppertal (2003)
Hofschuster, W., Krämer, W., Wedner, S., Wiethoff, A.: C-XSC 2.0: A C++ Class Library for Extended Scientific Computing, Preprint BUGHW-WRSWT 2001/1, University of Wuppertal, pp. 1-24 (2001)
ISO/IEC 14882: Standard for the C++ Programming Language (1998)
Klatte, R., Kulisch, U., Lawo, C., Rauch, M., Wiethoff, A.: C-XSC – A C++ Class Library for Scientific Computing. Springer, Berlin (1993)
Krämer, W., Bantle, A.: Automatic Forward Error Analysis for Floating Point Algorithms. Reliable Computing 7(4), 321–340 (2001)
Krämer, W., Wedner, S.: Two adaptive Gauss-Legendre type algorithms for the verified computation of definite integrals. Reliable Computing 2(3), 241–253 (1996)
Krämer, W., Kulisch, U., Lohner, R.: Numerical Toolbox for Verified Computing II. Advanced Numerical Problems, Draft version available: http://www.uni-karlsruhe.de/~Rudolf.Lohner/papers/tb2.ps.gz
Kulisch, U.: The Fifth Floating-Point Operation for Top-Performance Computers or Accumulation of Floating-Point Numbers and Products in Fixed-Point Arithmetic. Bericht 4/1997 des Forschungsschwerpunkts Computerarithmetik, Intervallrechnung und Numerische Algorithmen mit Ergebnisverifikation, Universität Karlsruhe (1997)
Kulisch, U.: Advanced Arithmetic for the Digital Computer. Design of Arithmetic Units. Springer, Wien (2002)
Loh, E., Walster, G.W.: Rump’s Example Revisited. Reliable Computing 8(3), 245–248 (2002)
Lohner, R.: Einschließung der Lösung gewöhnlicher Anfangs- und Randwertaufgaben und Anwendungen. Dissertation, Universität Karlsruhe (1988)
Meyers, S.: Effective C++, 50 Specific Ways to Improve Your Programs and Designs. Addison-Wesley, Reading (1998)
Meyers, S.: More Effective C++, 35 New Ways to Improve Your Programs and Designs. Addison-Wesley, Reading (1997)
Neher, M.: Validated bounds for Taylor coefficients of analytic functions. Reliable Computing 7, 307–319 (2001)
Rump, S.M.: Algorithms for verified inclusions – theory and practice. In: Moore, R.E. (ed.) Reliability in Computing, pp. 109–126. Academic Press, New York (1988)
Rump, S.M.: INTLAB - INTerval LABoratory. In: Csendes, T. (ed.) Developments in Reliable Computing, pp. 77–104. Kluwer Academic Publishers, Dordrecht (1999)
Stroustrup, B.: The C++ Programming Language, Special edn. Addison-Wesley, Reading (2000)
Wedner, S.: Verifizierte Bestimmung singulärer Integrale - Quadratur und Kubatur. Thesis, Univ. Karlsruhe (2000)
Wolff von Gudenberg, J.: OOP and Interval Arithmetic – Language Support and Libraries. In: Alt, R., Frommer, A., Kearfott, R.B., Luther, W. (eds.) Dagstuhl Seminar 2003. LNCS, vol. 2991, pp. 1–14. Springer, Heidelberg (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hofschuster, W., Krämer, W. (2004). C-XSC 2.0 – A C++ Library for Extended Scientific Computing. In: Alt, R., Frommer, A., Kearfott, R.B., Luther, W. (eds) Numerical Software with Result Verification. Lecture Notes in Computer Science, vol 2991. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24738-8_2
Download citation
DOI: https://doi.org/10.1007/978-3-540-24738-8_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21260-7
Online ISBN: 978-3-540-24738-8
eBook Packages: Springer Book Archive