English version

Internationale Projekte:

• Bilaterales Projekt: "High Performance Verified Computing (HPVC)" (Brasilien - Deutschland) gefördert durch DAAD (Deutschland) und FAPERGS (Brasilien)
• Abgeschlossenes bilaterales Projekt: "Automatic Result Verification in the Environment of High Performance Computing" (Brasilien - Deutschland) gefördert durch das Internationale Büro (IB, BMBF, Deutschland) und FAPERGS (Brasilien)

• Projekt: "Parametric Linear Interval Systems" (Bulgarien - Deutschland) gefördert durch DFG und Bulgarian National Science Fund

Projekte der Arbeitsgruppe:

• C-XSC, eine C++ Klassenbibliothek für wissenschaftliches Rechnen (Anpassung von C-XSC an den C++ Standard (ANSI/ISO/IEC 14882, 1998), Pflege, Wartung und Weiterentwicklung von C-XSC, Dokumentation, Portierung auf weitere Plattformen (u.a. auf den Parallelrechner ALiCE bzw. ALiCEnext), Bereitstellen des Quellcodes und vorübersetzter Bibliotheksmodule für verschiedene Plattformen im WWW, Anwenderunterstützung bei der Installation von C-XSC)

• C-XSC Toolbox mit selbstverifizierenden Problemlösungsroutinen für Standardaufgaben der Numerik

• Kooperation mit dem Forschungsschwerpunkt "Computerarithmetik und Verifikationsnumerik (CAVN)" an der Universität Karlsruhe (Drittmittelprojekt Numerik mit Ergebnisverifikation)

• Entwicklung eines systematischen Fehlerkalküls für automatische, verlässliche a priori Fehlerabschätzungen von Gleitkommaalgorithmen.

• Implementierung hochgenauer und effizienter elementarer mathematischer Funktionen für die Datentypen double, interval, complex und complex interval (ANSI-C Bibliothek FI_LIB). Ergänzung der FI_LIB um gebräuchliche spezielle Funktionen der mathematischen Physik.

• Verifizierte globale Optimierung unter Einsatz des Parallelrechners ALiCEnext

• Verifizierte Integration von singulären und hypersingulären Integralen in C-XSC

• BCD-Version (Dezimalversion) von Pascal-XSC in Zusammenarbeit mit Dr. Frithjof Blomquist, Saarbrücken. Insbesondere vermeidet diese Pascal-XSC Version Konversionsfehler bei der Ein- und Ausgabe von Dezimalzahlen. Auch steht ein höhergenaues Datenformat (21 Dezimalziffern) für hochgenaue Berechnungen zur Verfügung. Es steht eine frei erhältliche Version unter LINUX zur Verfügung; diese ist besonders zum Einsatz im Mathematik-/Informatikunterricht an Gymnasien geeignet.

• Verifikation und Computeralgebra: Das Paket intpakX zur Implementierung von Verifikationsalgorithmen und deren Visualisierung als Beitrag zum Maple Application Center als Maple Power Tool.

• Analyse des Finanzausgleichsgesetzes (FAG), Modellrechnungen im Hinblick auf die Unwirksamkeit oder Modifikation einzelner Bestandteile des FAG (Drittmittelprojekt "Länderfinanzausgleich" im Auftrag des Bundesverfassungsgerichts Karlsruhe)