C-XSC 2.0 A C++ library for extended scientific computing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2991, Issue , 2004, Pages 15-35

  Hofschuster, Werner ^a   Krämer, Walter ^a  

^a UNIVERSITY OF WUPPERTAL   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; COMPUTER PROGRAMMING; HIGH LEVEL LANGUAGES; VERIFICATION; WEBSITES;

C++ LIBRARIES; CLASS LIBRARIES;

C++ (PROGRAMMING LANGUAGE);

EID: 35048902063     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24738-8_2     Document Type: Article

References (21)

1. Cuyt, A.; Verdonk, B.; Becuwe, S; Kuterna, P.: A Remarkable Example of Catastrophic Cancellation Unraveled. Computing 66, 309-320 (2001).
2. Hammer, R.; Hocks, M.; Kulisch, U.; Ratz, D.: C++ Toolbox for Verified Computing. Basic Numerical Problems. Springer-Verlag, Berlin (1995).
3. 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).
4. 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).
5. ISO/IEC 14882: Standard for the C++ Programming Language (1998).
6. Klatte, R.; Kulisch, U.; Lawo, C.; Rauch, M.; Wiethoff, A.: C-XSC - A C++ Class Library for Scientific Computing. Springer-Verlag, Berlin (1993).
7. Krämer, W.; Bantle, A.: Automatic Forward Error Analysis for Floating Point Algorithms. Reliable Computing, Vol. 7, No. 4, pp 321-340 (2001).
8. Krämer, W.; Wedner, S.: Two adaptive Gauss-Legendre type algorithms for the verified computation of definite integrals. Reliable Computing Vol. 2, No. 3, pp. 241-253 (1996).
9. 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.
10. 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 Computerarithnietik, Intervall-rechnung und Numerische Algorithmen mit Ergebnisverifikation, Universität Karlsruhe (1997).
11. Kulisch, U.: Advanced Arithmetic for the Digital Computer. Design of Arithmetic Units. Springer Verlag, Wien (2002).
12. Loh, Eugene and Walster, G. William: Rump's Example Revisited. Reliable Computing, Vol. 8, No. 3, pp. 245-248 (2002).
13. Lohner, R.: Einschließung der Lösung gewöhnlicher Anfangs- und Randwertaufgaben und Anwendungen. Dissertation, Universität Karlsruhe (1988).
14. Meyers, Scott: Effective C++, 50 Specific Ways to Improve Your Programs and Designs. Addision-Wesley (1998).
15. Meyers, Scott: More Effective C++, 35 New Ways to Improve Your Programs and Designs. Addision-Wesley (1997).
16. Neher, M.: Validated bounds for Taylor coefficients of analytic functions. Reliable Computing 7, pp. 307-319 (2001).
17. Rump, S. M.: Algorithms for verified inclusions - theory and practice. In: Moore, R. E. (ed.): Reliability in Computing, pp. 109-120, Academic Press, New York (1988).
18. Rump, S. M.: INTLAB - INTerval LABoratory. In Tibor Csendes (editor): Developments in Reliable Computing, pages 77-104. Kluwer Academic Publishers, Dordrecht (1999).
19. Stroustrup, B.: The C++ Programming Language. Special Edition, Addison-Wesley, Reading, Mass. (2000).
20. Wedner, S.: Verifizierte Bestimmung singulärer Integrale - Quadratur und Kubatur. Thesis, Univ. Karlsruhe (2000).
21. Wolff von Gudenberg, J.: OOP and Interval Arithmetic - Language Support and Libraries, this volume, pp. 1-14 (2004).