Online-Dissertationen / Online PhD-Thesis

 

• Beelitz, Thomas: Effiziente Methoden zum Verifizierten Lösen von Optimierungsaufgaben und Nichtlinearen Gleichungssystemen
  Dissertation, Universität Wuppertal, 2006 ( (3,41 MB))
• Bierlox, Norbert: Ein VHDL Koprozessorkern für das exakte Skalarprodukt
  Dissertation, Universität Karlsruhe, 2002 (Online-Version)
• Chen, Chin-Yun: Adaptive numerische Quadratur und Kubatur mit automatischer Ergebnisverifikation
  Dissertation, Universität Karlsruhe, 1998 (Online-Version)
• Eble, Ingo: Über Taylor-Modelle
  Dissertation, Universität Karlsruhe, 2007 (Online-Version)
• El-Owny, Hassan Badry Mohamed: Verified Solution of Parametric Interval Linear Systems
  Dissertation, Universität Wuppertal, 2007 ( (2070 KB))
• Facius, Axel: Iterative solution of linear systems with improved arithmetic and result verification
  Dissertation, Universität Karlsruhe, 2000 (Online-Version)
• Grimmer, Markus: Selbstverifizierende mathematische Softwarewerkzeuge im High Performance Computing
  Dissertation, Universität Wuppertal, 2007 ( (2070 KB))
• Hocks, Matthias: Innere-Punkt-Methoden und automatische Ergebnisverifikation in der Linearen Optimierung
  Dissertation, Universität Karlsruhe, 1995 (Online-Version)
• Hofschuster, Werner: Zur Berechnung von Funktionswerteinschließungen bei speziellen Funktionen der mathematischen Physik
  Dissertation, Universität Karlsruhe, 2000 (Online-Version)
• Ibraev, Suiunbek: A new parallel method for verified global optimization
  Dissertation, Universität Wuppertal, 2001 ( (2100 KB))
• Obermaier, Holger: Computerverifikation von Lösungen nichtlinearer Integralgleichungen
  Dissertation, Universität Karlsruhe, 2003 (Online-Version)
• Ratz, Dietmar: Automatische Ergebnisverifikation bei globalen Optimierungsproblemen
  Dissertation, Universität Karlsruhe, 1992 (Online-Version)
• Rogat, Axel: Schnelle hoch genaue Einschließung von Werten arithmetischer Ausdrücke mit beliebiger vorgegebener Genauigkeit
  Dissertation, Universität Wuppertal, 2002 ( (1,33 MB))
• Schäfer, Uwe: Das lineare Komplementaritätsproblem mit Intervalleinträgen
  Dissertation, Universität Karlsruhe, 1999 (Online-Version)
• Schnurr, Marco: Steigungen höherer Ordnung zur verifizierten globalen Optimierung
  Dissertation, Universität Karlsruhe, 2007 (Online-Version)
• Tapamo Kahou, Jean Honoré: Some new Acceleration Mechanisms in Verified Global Optimization
  Dissertation, Universität Wuppertal, 2005 ( (2,05 MB))
• Wedner, Stefan: Verifizierte Bestimmung singulärer Integrale - Quadratur und Kubatur
  Dissertation, Universität Karlsruhe, 2000 (Online-Version)
• Wiethoff, Andreas: Verifizierte globale Optimierung auf Parallelrechnern
  Dissertation, Universität Karlsruhe, 1997 (Online-Version)
• Zimmer, Michael: Software zur hocheffizienten Lösung von Intervallgleichungssystemen mit C-XSC
  Dissertation, Universität Wuppertal, 2013 ( (2,81 MB))