not available

Themen für Bachelorarbeiten:

• Ergänzungen des Intervall-Visualisierungstools intpakX
• Visualisierung von Lösungsmengen (Stichworte: symmetrische Systeme, affin-lineare Systeme, Darstellung mittels verallgemeinerter Intervalle)
• Anbindung von IntLab an das Maple power tool intpakX / Zusammenarbeit der Softwarepakete Maple, IntLab, Matlab über Schnittstellen
• Verifizierte Berechnung von Inneneinschließungen vektorwertiger Funktionen
• Verifizierte Nullstellenberechnung holomorpher Funktionen

Themen für Master- und Diplomarbeiten:

• Verifikationsalgorithmen für Funktionenräume (z.B. im Zusammenhang mit dem verifizierten Lösen von Systemen von Integralgleichungen)
• Parallelisierung von Verifikationsalgorithmen auf dem Wuppertaler Hochleistungs-Parallelrechner ALiCEnext
• QT als Ergänzung zu C-XSC: Installation, Dokumentation, Anwendungsbeispiele (verifizierter Funktions- und Ableitungenplot, Interpolation zwischen mit der Maus vorgebbaren und verschiebbaren Datenpunkten)
• Zonotope und die genaue Berechnung dynamischer Systeme (Graphik mit QT)
• Entwurf und Implementierung von selbstverifizierenden Numerikalgorithmen in Matlab (+ Intlab + Maple)
• Numerische Lösung partieller Differentialgleichungen mit Matlab (+Toolbox)

Nähere Informationen zu den oben genannten sowie weiteren Themen können Sie bei Herrn Krämer oder bei Herrn Hofschuster erhalten.

Andere Themen aus dem Bereich Wissenschaftliches Rechnen und Softwaretechnologie sind auch möglich. Die Betreuung von externen Arbeiten bedarf der vorherigen Abstimmung.