|
- Verifizierte Formelauswertung in Computer-Algebra-Systemen
und objektorientierten Programmierumgebungen, Andreas Steins, 1995
- Verifizierte Einschließung der kritischen Last beim Knicken schwerer Gestänge, Olaf Schwarber, 1999
- Generalized Kähler metrics on complex spaces and a supplement to a Theorem of Fornæss and Narasimhan, Anca Popa-Fischer, 2000
- Ein diskreter Differentialformenkalkül zur Modellierung der Maxwellschen Gleichungen auf vierdimensionalen Simplizes, Peter Feuerstein, 2001
- Ein paralleler und hochgenauer O(n²) Algorithmus für die bidiagonale Singulärwertzerlegung, Benedikt Großer, 2001
- A new parallel method for verified global optimization, Suiunbek Ibraev, 2001
- Splitting of power series spaces of (PLS) - type, Daren Kunkle, 2001
- Algebraische Multilevel-Verfahren für ungeordnete physikalische Systeme, Björn Medeke, 2001
- Kohomologie mit Schranken und Fortsetzung holomorpher Funktionen durch lineare stetige Operatoren, Matthias Schmitt, 2001
|
|