"Rechnerarithmetik und Wissenschaftliches Rechnen" (bis 2007)

  Zielsetzung / Aims

The work of the Activity Group covers the numerical and algorithmic aspects of scientific computing, with strong emphasis on validation and verification giving guaranteed properties of computed results as well as on arithmetic, programming, and algorithmic tools for this purpose.

Key words: recent hardware and software standards, language support with different kinds of interval arithmetic, algorithms with result verification, software systems for verified numerics, verification numerics (ODE, PDE, DAE, nonlinear, and linear systems, optimization, ...), industrial and scientific applications.

One major task of the GAMM-Activity Group on Computer Arithmetic and Scientific Computing is to plan, organize and provide scientific guidance for the Scan-conferences. The Fachausschuss also advices the GAMM-Vorstandsrat with respect to invite speakers and minisymposia for the annual GAMM conferences.

  Vorsitzender / Speaker

Prof. Dr. Walter Krämer
Bergische Universität Wuppertal
FB C - Mathematik
Gaußstraße 20
D-42097 Wuppertal


  Mitglieder / Members

G. Alefeld
Institut für Angewandte Mathematik, Universität Karlsruhe (Germany)
R. Alt
Département de Calcul Scientifique, Université Pierre et Marie Curie (France)
G. F. Corliss
Department of Electrical and Computer Engineering, Marquette University, Milwaukee (USA)
T. Csendes
Department of Applied Informatics, University of Szeged (Hungary)
A. Frommer
Scientific Computing Group, Universität Wuppertal (Germany)
G. Heindl
Angewandte Mathematik/Numerik, Universität Wuppertal (Germany)
J. Herzberger
Angewandte Mathematik, Universität Oldenburg (Germany)
U. Jahn
Hochschule für Technik, Wirtschaft und Kultur Leipzig (Germany)
E. Kaucher
Institut für Angewandte Mathematik, Universität Karlsruhe (Germany)
R. B. Kearfott
Department of Mathematics, University of Louisiana at Lafayette (USA)
W. Klein
Siemens AG München (Germany)
W. Krämer (Vorsitzender)
Wissenschaftliches Rechnen und Softwaretechnologie, Universität Wuppertal (Germany)
V. Kreinovich
Computer Science, University of Texas, El Paso (USA)
U. Kulisch
Institut für Angewandte und Numerische Mathematik, Universität Karlsruhe (Germany)
W. Luther
Computergraphik/Wissenschaftliches Rechnen, Universität Duisburg-Essen (Germany)
S. Markov
Institute of Mathematics and Computer Science, Bulg. Academy of Sciences, Sofia (Bulgaria)
G. Mayer
Wissenschaftliches Rechnen, Universität Rostock (Germany)
J.-M. Muller
Ecole Normale Superieure de Lyon, Lyon (France)
M. T. Nakao
Kyushu University, Fukuoka (Japan)
M. Plum
Mathematisches Institut I, Universität Karlsruhe (Germany)
L. B. Rall
Department of Mathematics, University of Wisconsin, Madison (USA)
J. Rohn
Institute of Computer Science, Czech Academy of Sciences, Prague (Czech Republic)
S. M. Rump
Institute for Reliable Computing, University Hamburg-Harburg (Germany)
H. Schwandt
Institut für Mathematik, TU Berlin (Germany)
W. V. Walter
Angewandte Diskrete Mathematik, Universität Dresden (Germany)
J. Wolff von Gudenberg
Informatik II, Universität Würzburg (Germany)
Shen Zuhe
University Nanging (China)

  Veranstaltungen / Conferences
Further links to some recent and future workshops, seminars, minisymposia, and conferences (co-)organized by members of the activity group:


Some links to frequently used open source software tools supporting reliable numerical computations: Further links to additional software may be found here: "Languages for Interval Analysis" and "Interval and Related Software"

  Additional Material

Criticism which helps improving the web pages is always welcome. Please feel free to send your suggestions to