not available

Hinweis: Wir sind nicht für die Inhalte fremder Seiten verantwortlich, die Sie über einen Link erreichen.
Alle Links (auch die zu kommerziellen Webseiten) sind als (Literatur-)Hinweise zu verstehen, also nicht als Werbung für die jeweiligen Anbieter.
 

Bergische Universität Wuppertal (BUW)

• Telefonverzeichnis/E-Mail
• Universitätsbibliothek
• Zentrum für Informations- und Medienverarbeitung (ZIM)
• Online-Vorlesungsverzeichnis (WUSEL)
• Hochschulverwaltung

Verifikationsnumerik

• GAMM Fachausschuss "Computerunterstützte Beweise und symbolisches Rechnen"
• Früherer GAMM Fachausschuss "Rechnerarithmetik und Wissenschaftliches Rechnen" (bis 2007)
• Interval FAQ from Site Entry Page
• Interval Computations
• Electronic Journal: Reliable Computing
• Some disasters attributable to bad numerical computing
• Literaturverzeichnis zur Verifikationsnumerik (erstellt von Dr. Gerd Bohlender)

• Forschungsgruppen im Bereich Verifikationsnumerik im deutschsprachigen Raum:
  • Humboldt-Universität Berlin
    • Mathematische Optimierung (Prof. A. Griewank)
  • TU Braunschweig
    • Numerische Mathematik (apl. Prof. K. Petras)
  • TU Clausthal
    • Institut für Mathematik (Dr. H. Behnke)
  • TU Dresden
    • Institut für Wissenschaftliches Rechnen (Prof. W. Walter)
  • Universität Duisburg-Essen
    • Computergraphik, Bildverarbeitung und Wissenschaftliches Rechnen (Prof. W. Luther)
  • TU Hamburg-Harburg
    • Institute for Reliable Computing (Prof. S. Rump)
  • Universität Karlsruhe
    • AIFB (Dr. habil. D. Ratz)
    • Institut für Angewandte Mathematik, Lehrstuhl I (Prof. G. Alefeld)
    • Institut für Angewandte Mathematik, Lehrstuhl II (ehemals Prof. U. Kulisch; Prof. E. Kaucher)
    • Forschungsschwerpunkt CAVN (Computerarithmetik und Verifikationsnumerik)
    • Mathematisches Institut I (Prof. M. Plum)
    • Rechenzentrum (apl. Prof. Dr. habil. R. Lohner)
  • FH Konstanz
    • Fachbereich Informatik (Prof. J. Garloff)
  • HTWK Leipzig
    • Theoretische Informatik (Prof. K.-U. Jahn)
    • Angewandte Mathematik (Prof. H.-J. Dobner)
  • Universität Rostock
    • Wissenschaftliches Rechnen (Prof. G. Mayer)
  • Universität Ulm
    • Institut für Meß-, Regel- und Mikrotechnik (Prof. E. P. Hofer)
  • Universität Wien
    • Institut für Mathematik (Prof. A. Neumaier)
  • Universität Wuppertal
    • Arbeitsgruppe Praktische Informatik (Prof. H.-J. Buhl)
    • Arbeitsgruppe Angewandte Informatik (Prof. A. Frommer, Prof. B. Lang)
    • Arbeitsgruppe Numerik (Prof. G. Heindl)
    • Arbeitsgruppe Wissenschaftliches Rechnen / Softwaretechnologie (Prof. W. Krämer)
    • Automatisierungstechnik/Regelungstechnik (Prof. B. Tibken)
  • Universität Würzburg
    • Lehrstuhl für Informatik II (Prof. J. Wolff von Gudenberg)
  • Einzelpersonen
    • Dr. F. Blomquist
    • Dr. W. Kühn
    • Dipl-Inf. J. Maurer

• Wichtige Tagungen zu Themenbereichen der Verifikationsnumerik:
  • SCAN 2016, Uppsala (Sweden), September, 2016
  • SCAN 2014, Würzburg (Germany), September, 2014
  • SCAN 2012, Novosibirsk (Russia), September 23-29, 2012
  • SCAN 2010, Lyon (France)
  • SCAN 2008, El Paso (Texas, USA)
  • SCAN 2006, Duisburg (Germany)
  • SCAN 2004, Fukuoka (Japan)
  • SCAN 2002, Paris (France)
  • SCAN 2000 / Interval 2000, Karlsruhe (Germany)
  • SCAN98, Budapest (Hungary)
  • Interval-Related Section at 1997 GAMM Annual Meeting, Regensburg (Germany)
  • SCAN97, Lyon (France)
  • SCAN95, Wuppertal (Germany)

XSC-Sprachen

• XSC-Software Homepage
• XSC Languages (Seite des IAM Karlsruhe)
• C++ Toolbox for Verified Computing (Eine Bibliothek von Algorithmen und Programmen zur Lösung numerischer Probleme mit Ergebnisverifikation (auf der Basis von C-XSC). Kurzbeschreibung des Bands I (Basic Numerical Problems).

Objektorientierte Programmiersprachen

• Ein Entwurf des nächsten geplanten C++ Standards ist hier zu finden. Der ISO-Standard ist 2003 unter der Nummer ISO/IEC 14882-2003 erschienen. Er kann kostenpflichtig bei www.ansi.org bestellt werden.

Softwaretechnologie

• Umfangreiche Link-Sammlung zum Thema Softwaretechnologie