GAMM-FACHAUSSCHUSS / GAMM Activity Group
"Rechnerarithmetik und Wissenschaftliches Rechnen" (bis 2007) |
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.
Prof. Dr. Walter Krämer
Bergische Universität Wuppertal
FB C - Mathematik
Gaußstraße 20
D-42097 Wuppertal
E-Mail:
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 |
-
SCAN 2010
(14th GAMM-IMACS International Symposium on Scientific Computing, Computer
Arithmetic and Validated Numerics), Lyon (France)
-
SCAN 2008
(13th GAMM-IMACS International Symposium on Scientific Computing, Computer
Arithmetic and Validated Numerics), El Paso (Texas, USA)
-
SCAN 2006
(12th GAMM-IMACS International Symposium on Scientific Computing, Computer
Arithmetic and Validated Numerics), Duisburg (Germany)
-
SCAN 2004
(11th GAMM-IMACS International Symposium on Scientific Computing, Computer
Arithmetic and Validated Numerics), Fukuoka (Japan)
-
SCAN 2002
(10th GAMM-IMACS International Symposium on Scientific Computing, Computer
Arithmetic and Validated Numerics), Paris (France)
-
SCAN 2000
(9th GAMM-IMACS International Symposium on Scientific Computing, Computer
Arithmetic and Validated Numerics), Karlsruhe (Germany)
-
SCAN98
(8th GAMM-IMACS International Symposium on Scientific Computing, Computer
Arithmetic and Validated Numerics), Budapest (Hungary)
-
Interval-Related
Section at 1997 GAMM Annual Meeting, Regensburg (Germany)
-
SCAN97
(7th GAMM-IMACS International Symposium on Scientific Computing, Computer
Arithmetic and Validated Numerics), Lyon (France)
-
SCAN95
(6th GAMM-IMACS International Symposium on Scientific Computing, Computer
Arithmetic and Validated Numerics), Wuppertal (Germany)
Further links to some recent and future workshops, seminars, minisymposia, and
conferences (co-)organized by members of the activity group:
-
Numerical
Validation in Current Hardware Architectures,
Dagstuhl, Germany, January 06-11, 2008
-
Workshop on Reliable Engineering Computing: Modeling Errors and Uncertainty in Engineering
Computations,
Savannah, Georgia, February 22-24, 2006
-
Perspektiven im Bereich numerischer Einschließungsverfahren,
Dagstuhl, Germany, October 9-12, 2005
-
Algebraic and Numerical
Algorithms and Computer-assisted Proofs,
Dagstuhl, Germany, September 25-29, 2005
-
Interval'05, Lyngby, Denmark, August, 25-27, 2005
-
Workshop on Reliable Engineering Computing,
Savannah, Georgia, September 15-17, 2004
-
6th Conference on Real
Numbers and Computers,
Dagstuhl, Germany, November 15-17, 2004
-
Dagstuhl Seminar on Numerical Software with Result Verification,
Dagstuhl, Germany, January 19-24, 2003;
to see the presentations, click here
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"
-
IMACS-GAMM Resolution on Computer Arithmetic
(Download: )
-
GAMM-IMACS Proposal for Accurate Floating-Point Vector Arithmetic
(Download: )
Criticism which helps improving the web pages is always welcome.
Please feel free to send your suggestions to