Abschlussarbeiten seit 2008

 

Diplom-Arbeiten (aktuell):

     

  • Verifikation arithmetischer Operationen auf den reellen Zahlen


    (Michael Simon)

  •  

 Diplomarbeiten (abgeschlossen):

     

  • Verifikation der Kernstrukturen einer Implementierung exakter reeller Arithmetik
    (Michael Schausten, 2010)
  • Nutzung von Mehrkernprozessoren bei exakter reeller Arithmetik
    (Joachim van den Woldenberg, 2010)
  • Exakte reelle Arithmetik unter Verwendung von Berechnungsdiagrammen
    (Daniel Meissner, 2009)
  • Mehrfachgenaue Arithmetik auf Grafikkarten mit CUDA-Technologie
    (Konstantin Lanzet, 2008)
  •