License
when quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-14479
URL: http://drops.dagstuhl.de/opus/volltexte/2008/1447/

Kolberg, Mariana ; Krmer, Walter ; Zimmer, Michael

A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC

pdf-format:
Dokument 1.pdf (142 KB)


Abstract

C-XSC is a powerful C++ class library which simplifies the development of selfverifying numerical software. But C-XSC is not only a development tool, it also provides a lot of predefined highly accurate routines to compute reliable bounds for the solution to standard numerical problems. In this note we discuss the usage of a reliable linear system solver to compute the solution of problem 7 of the SIAM 100-digit challenge. To get the result we have to solve a 20 000 × 20 000 system of linear equations using interval computations. To perform this task we run our software on the advanced Linux cluster engine ALiCEnext located at the University of Wuppertal and on the high performance computer HP XC6000 at the computing center of the University of Karlsruhe. The main purpose of this note is to demonstrate the power/weakness of our approach to solve linear interval systems with a large dense system matrix using C-XSC and to get feedback from other research groups all over the world concerned with the topic described. We are very much interested to see comparisons concerning different methods/algorithms, timings, memory consumptions, and different hardware/software environments. It should be easy to adapt our main routine (see Section 3 below) to other programming languages, and different computing environments. Changing just one variable allows the generation of arbitrary large system matrices making it easy to do sound (reproducible and comparable) timings and to check for the largest possible system size that can be handled successfully by a specific package/environment.

BibTeX - Entry

@InProceedings{kolberg_et_al:DSP:2008:1447,
  author =	{Mariana Kolberg and Walter Kr{\"a}mer and Michael Zimmer},
  title =	{A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC},
  booktitle =	{Numerical Validation in Current Hardware Architectures},
  year =	{2008},
  editor =	{Annie Cuyt and Walter Kr{\"a}mer and Wolfram Luther and Peter Markstein},
  number =	{08021},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2008/1447},
  annote =	{Keywords: C-XSC, reliable computing, 100-digit challenge, reliable linear system solver, high performance computing, large dense linear systems}
}

Keywords: C-XSC, reliable computing, 100-digit challenge, reliable linear system solver, high performance computing, large dense linear systems
Seminar: 08021 - Numerical Validation in Current Hardware Architectures
Issue date: 2008
Date of publication: 22.04.2008


DROPS-Home | Fulltext Search | Imprint Published by LZI