Dr. Werner Hofschuster

Akademischer Oberrat, wissenschaftlicher Mitarbeiter in der Arbeitsgruppe Wissenschaftliches Rechnen/Softwaretechnologie der Fakultät für Mathematik und Naturwissenschaften der Bergischen Universität Wuppertal.

Sprechstunde

• Während der Vorlesungszeit: Mi., 11:00-12:00 Uhr (Raum G.15.28) und zusätzlich nach Vereinbarung
• In der vorlesungsfreien Zeit: Nach Vereinbarung (per E-Mail)

Kontaktadresse

• E-Mail: hofschuster@math.uni-wuppertal.de
• Postanschrift:
  Bergische Universität Wuppertal
  Fakultät für Mathematik und Naturwissenschaften
  Gaußstraße 20
  D-42097 Wuppertal
• Büro: Gebäude G, Ebene 15, Raum 28
• Telefon: 0202 / 439 - 3773
• FAX: 0202 / 439 - 3135

Arbeitsgebiete

• Werkzeuge zur Automatisierung von Fehlerabschätzungen
• Schnelle Standardfunktionen mit sicheren Fehlerschranken (FI_LIB)
• Funktionen der mathematischen Physik (Spezielle Funktionen)
• Verifikationsnumerik
• XSC-Sprachen, insbesondere C-XSC Klassenbibliothek
• Softwaretechnologie, UML, Einsatz von CASE-Werkzeugen/UML-Tools
• Lehrveranstaltungen

Veröffentlichungen

• Blomquist, F.; Hofschuster, W.; Krämer, W.: C-XSC-Langzahlarithmetiken für reelle und komplexe Intervalle basierend auf den Bibliotheken MPFR und MPFI
  Preprint 2011/1, Universität Wuppertal, 2011 ( (1.4 MB, Version: May 11th, 2011))
• Blomquist, F.; Hofschuster, W.; Krämer, W.: Langzahlintervallrechnung in C-XSC (Tutorial and Reference)
  Preprint BUW-WRSWT 2010/4, Universität Wuppertal, 2010
  (überarbeitete und erweiterte Version als BUW-WRSWT 2011/1: )
• Zimmer, M.; Krämer, W.; Hofschuster, W.: Sparse Matrices and Vectors in C-XSC
  Preprint BUW-WRSWT 2009/7, Universität Wuppertal, 2009 ( (288 KB))
• Zimmer, M.; Krämer, W.; Hofschuster, W.: Using C-XSC in High Performance Computing
  Preprint BUW-WRSWT 2009/5, Universität Wuppertal, 2009
  Revised version submitted for publication (PARA2010):
  Walter Krämer, Michael Zimmer, Werner Hofschuster: Using C-XSC for High Performance Verified Computing
  PARA 2010, Reykjavik, Iceland, Part II, LNCS 7134, Springer-Verlag, pp. 168-178, 2012
• Zimmer, M.; Krämer, W.; Bohlender, G.; Hofschuster, W.: Extension of the C-XSC Library with Scalar Products with Selectable Accuracy
  Preprint BUW-WRSWT 2009/4, Universität Wuppertal, 2009 ( (202 KB))
  Published in: Serdica Journal of Computing, Vol. 4, No. 3, p. 349-370, 2010
• Blomquist, F.; Hofschuster, W.; Krämer, W.: Real and Complex Staggered (Interval) Arithmetics with Wide Exponent Range
  Preprint BUW-WRSWT 2009/2, Universität Wuppertal, 2009 (to appear)
• Blomquist, F.; Hofschuster, W.; Krämer: A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range
  Preprint BUW-WRSWT 2008/5, Universität Wuppertal, 2008
  Published in: Dagstuhl Seminar Proceedings 08021 - Numerical Validation in Current Hardware Architectures, 2008
  Published in: LNCS 2991, Numerical Validation in Current Hardware Architectures, Springer-Verlag, pp. 41-67, 2008
• Hofschuster, W.; Krämer, W.; Neher, M.: C-XSC and Closely Related Software Packages
  Preprint BUW-WRSWT 2008/3, Universität Wuppertal, 2008
  Published in: Dagstuhl Seminar Proceedings 08021 - Numerical Validation in Current Hardware Architectures, 2008
  Published in: LNCS 2991, Numerical Validation in Current Hardware Architectures, Springer-Verlag, pp. 68-102, 2008
• Blomquist, F.; Hofschuster, W.; Krämer, W.: Real and Complex Staggered (Interval) Arithmetics with Wide Exponent Range (in German)
  Preprint BUW-WRSWT 2008/1, Universität Wuppertal, 2008 ( (1.2 MB))
• Blomquist, F.; Hofschuster, W.; Krämer, W.: Vermeidung von Über- und Unterlauf und Verbesserung der Genauigkeit bei reeller und komplexer staggered Intervall-Arithmetik
  Preprint BUW-WRSWT 2007/8, Universität Wuppertal, 2007 ()
  Talk at Dagstuhl-Seminar: Slides ()
• Lerch, M.; Tischler, G.; Wolff v. Gudenberg, J.; Hofschuster, W.; Krämer, W.: FILIB++, a fast interval library supporting containment computations
  ACM Trans. Math. Softw. - TOMS, vol. 32, no. 2, pp. 299-324, 2006
• Blomquist, F.; Hofschuster, W.; Krämer, W.: Real and Complex Taylor Arithmetic in C-XSC
  Preprint BUW-WRSWT 2005/4, Universität Wuppertal, 2005 ( (254 KB))
• Blomquist, F.; Hofschuster, W.; Krämer, W.; Neher, M.: Complex Interval Functions in C-XSC
  Preprint BUW-WRSWT 2005/2, Universität Wuppertal, 2005 ( (281 KB))
• Blomquist, F.; Hofschuster, W.; Krämer, W.: Reliable Computation of the Complex Interval Function arcsin(z) in C-XSC
  Preprint BUW-WRSWT 2005/1, Universität Wuppertal, 2005 ( (118 KB))
• Blomquist, F.; Hofschuster, W.; Krämer, W.: Sichere a priori Abschätzungen und Realisierung der Funktion sqrt(x²-1) in C-XSC
  Preprint BUW-WRSWT 2004/5, Universität Wuppertal, 2004 ( (143 KB))
• Hofschuster, W.: Numerische Verifikation von Nullstellen bei Besselfunktionen erster Gattung
  Preprint BUW-WRSWT 2004/4, Universität Wuppertal, 2004
• Blomquist, F.; Hofschuster, W.; Krämer, W.: Realisierung der hyperbolischen Cotangens-Funktion in einer Staggered Correction Intervallarithmetik in C-XSC
  Preprint BUW-WRSWT 2004/3, Universität Wuppertal, 2004 ( (130 KB))
• Blomquist, F.; Hofschuster, W.; Krämer, W.: Sichere a priori Fehlerabschätzung und Implementierung der Funktion zweier Variabler log(sqrt(x²+y²))
  Preprint BUW-WRSWT 2004/1, Universität Wuppertal, 2004 ( (197 KB))
• Hofschuster, W.; Krämer, W.: C-XSC 2.0: A C++ Library for Extended Scientific Computing
  Preprint BUW-WRSWT 2003/5, Universität Wuppertal, 2003 (Abstract, (111 KB))
  Published in: Numerical Software with Result Verification, Lecture Notes in Computer Science, Volume 2991/2004, Springer-Verlag, Heidelberg, pp. 15 - 35, (2004).
• Lerch, M.; Tischler, G.; Wolff v. Gudenberg, J.; Hofschuster, W.; Krämer, W.: filib++, a Fast Interval Library Supporting Containment Computations
  Preprint BUW-WRSWT 2003/4, Universität Wuppertal, 2003 ( (1.8 MB))
• Hofschuster, W.; Krämer, W.: C-XSC 2.0 - A C++ Class Library for Extended Scientific Computing
  Preprint BUGHW-WRSWT 2002/4, Universität Wuppertal, 2002.
• Miehe, D.; Krämer, W.; Hofschuster, W.: Visualization of Resulting Sets Coming from Multiplication and Division of Complex Intervals
  Preprint BUGHW-WRSWT 2002/3, Universität Wuppertal, 2002 (HTML-Version, PDF (172 KB))
• Lerch, M.; Tischler, G.; Wolff von Gudenberg, J.; Hofschuster, W; Krämer, W.: The Interval Library filib++ 2.0 - Design, Features and Sample Programs
  Preprint BUGHW-WRSWT 2001/4, Universität Wuppertal, 2001 (PDF (348 KB))
• Bräuer, M.; Hofschuster, W.; Krämer, W.: Steigungsarithmetiken in C-XSC
  Preprint BUGHW-WRSWT 2001/3, Universität Wuppertal, 2001 (PDF (390 KB))
• Hofschuster, W.; Krämer, W.; Wedner, S.; Wiethoff, A.: C-XSC 2.0 - A C++ Class Library for Extended Scientific Computing
  Preprint BUGHW-WRSWT 2001/1, Universität Wuppertal, 2001 (PDF (246 KB))
• Hofschuster, W..; Krämer, W.: Mathematical Function Software on the Web - Are Such Codes Useful for Verification Algorithms?
  Preprint BUGHW-WRSWT 2000/3, Universität Wuppertal, 2000
• Hofschuster, W..; Krämer, W.: Mathematical Function Software on the Web - Are Such Codes Useful for Verification Algorithms?
  Reliable Computing, Vol. 6, No. 2, pp 207-218 (2000)
• Hofschuster, W.; Krämer, W.: Rechnerisches Nachvollziehen und Analyse der praktischen Umsetzung des Finanzausgleichsgesetzes
  Preprint BUGHW-WRSWT 2000/1, Universität Wuppertal, 2000 (PDF (1476 KB), PDF (duplex, 1483 KB))
• Hofschuster, Werner: Zur Berechnung von Funktionswerteinschließungen bei speziellen Funktionen der mathematischen Physik
  Dissertation, Universität Karlsruhe, 2000 (Online-Version, PDF (1397K))
• W. Hofschuster und W. Krämer: FI_LIB, eine schnelle und portable Funktionsbibliothek für reelle Argumente und reelle Intervalle im IEEE-double-Format
  Preprint 98/7 des Instituts für Wissenschaftliches Rechnen und Mathematische Modellbildung (IWRMM) an der Universität Karlsruhe, 1998 ( (1162 KB))
• Hofschuster, W.; Krämer, W.: A Computer Oriented Approach to Get Sharp Reliable Error Bounds
  Reliable Computing, Issue 3, Volume 3, pp. 239-248, 1997
• Hofschuster, W.; Krämer, W.: A Fast Public Domain Interval Library in ANSI-C
  Proceedings IMACS'97 Berlin, Volume 2, pp. 395-400, 1997
• W. Hofschuster und W. Krämer: Ein rechnergestützter Fehlerkalkül mit Anwendung auf ein genaues Tabellenverfahren,
  Preprint 96/5 des Instituts für Wissenschaftliches Rechnen und Mathematische Modellbildung (IWRMM) an der Universität Karlsruhe, 1996 ( (528 KB))
• Hofschuster, Werner: Vergleich verschiedener Langzahlarithmetiken und Implementierung verschiedener Verfahren zur Multiplikation langer Zahlen
  Diplomarbeit, Universität Karlsruhe, 1992