Im Zuge der Neubesetzung des Lehrstuhls II am Institut für Angewandte Mathematik der Universität Karlsruhe hat sich die Ausrichtung der Forschungsgebiete geändert. Daher wurden die bisherigen Forschungsthemen in einem Forschungsschwerpunkt CAVN (Computerarithmetik und Verifikationsnumerik) zusammengefasst. Dieser Schwerpunkt befaßt sich unter der Leitung von Prof. Dr. Ulrich Kulisch mit den Themen Rechnerarithmetik und Rechentechnik, Wissenschaftliche Programmiersprachen, Verifikationsnumerik und Wissenschaftliches Rechnen. Ausführlichere Informationen finden Sie hier.
Auf dieser Seite finden Sie Links zu Webseiten, Reports, Büchern, Softwarepaketen, usw. im Zusammenhang mit dem Forschungsschwerpunkt CAVN. Die Webseiten, auf die diese Links verweisen, sind zum Teil nicht überarbeitet. Wenn dort vom "Institut für Angewandte Mathematik" oder vom "Lehrstuhl 2" die Rede ist, dann ist jetzt der Forschungsschwerpunkt CAVN gemeint.