Institut für Zuverlässiges Rechnen
Leiter:
Prof. Dr. Siegfried M. Rump
PUBLIKATIONEN - OLAF KNÜPPEL
- F. Bünger, F. Knüppel, and K. Nielsen. The product of two quadratic matrices. Linear Algebra and its Applications (LAA), 331:31–41, 2001. (doi:10.1016/S0024-3795(01)00277-4)
- O. Knüppel. PROFIL/BIAS V 2.0. Technical Report 99.1, Forschungsschwerpunkt Informations- und Kommunikationstechnik, TU Hamburg-Harburg, 1999. (hdl.handle.net/11420/9438)
- O. Knüppel. PROFIL/BIAS and extensions, Version 2.0. Technical report, Inst. f. Informatik III, Technische Universität Hamburg-Harburg, 1998.
- F. Bünger and F. Knüppel. Products of quasi-involutions in unitary groups. Geometria Dedicata, 65(3):313–321, 1997. (doi:10.1023/A:1004949119165)
- F. Bünger, F. Knüppel, and K. Nielsen. Products of symmetries in unitary groups. Linear Algebra and its Applications (LAA), 260:9–42, 1997. (doi:10.1016/S0024-3795(97)80003-1)
- O. Knüppel. A PROFIL/BIAS implementation of a global minimization algorithm. Technical Report 95.4, Forschungsschwerpunkt Informations- und Kommunikationstechnik, TU Hamburg-Harburg, 1995. (hdl.handle.net/11420/9459)
- C. Jansson and O. Knüppel. A Branch and Bound Algorithm for Bound Constrained Optimization Problems without Derivatives. J. Global Optimization, 7, No.3:297–331, 1995. (doi:10.1007/BF01279453)
- C. Jansson and O. Knüppel. Numerical results for a Self-Validating Global Optimization Method. Technical Report 94.1, Forschungsschwerpunkt Informations- und Kommunikationstechnik, TU Hamburg-Harburg, 1994. (hdl.handle.net/11420/9465)
- O. Knüppel. Einschließungsmethoden zur Bestimmung der Nullstellen nichtlinearer Gleichungssysteme und ihre Implementierung. PhD thesis, Technische Universität Hamburg-Harburg, 1995. (hdl.handle.net/11420/9472)
- O. Knüppel. PROFIL / BIAS — A Fast Interval Library. Computing, 53:277–287, 1994. (doi:10.1007/BF02307379)
- C. Jansson and O. Knüppel. A Minimization Method for Systems with Singular Value Constraints. In A. Karmann, K. Mosler, M. Schader, and G. Liebe, editors, Operations Research 92, pages 190–192. Physica Verlag, 1993. (hdl.handle.net/11420/9416)
- C. Jansson and O. Knüppel. Eine intervallanalytische Methode für globale Optimierungsprobleme. Zeitschrift für Angewandte Mathematik und Mechanik (ZAMM), 73(6):805–807, 1993. (hdl.handle.net/11420/9417)
- O. Knüppel. PROFIL — Programmer's Runtime Optimized Fast Interval Library. Technical Report 93.4, Forschungsschwerpunkt Informations- und Kommunikationstechnik, TUHH, 1993. (hdl.handle.net/11420/9500)
- O. Knüppel. A multiple precision arithmetic for PROFIL. Technical Report 93.6, Forschungsschwerpunkt Informations- und Kommunikationstechnik, Inst. f. Informatik III, TU Hamburg-Harburg, 1993. (hdl.handle.net/11420/9608)
- O. Knüppel and T. Simenec. PROFIL/BIAS extensions. Technical Report 93.5, Forschungsschwerpunkt Informations- und Kommunikationstechnik, Technische Universität Hamburg-Harburg, 1993. (hdl.handle.net/11420/9419)
- O. Knüppel. BIAS — Basic Interval Arithmetic Subroutines. Technical Report 93.3, Forschungsschwerpunkt Informations- und Kommunikationstechnik, Inst. f. Informatik III, TU Hamburg-Harburg, 1993. (hdl.handle.net/11420/9460)
- C. Jansson and O. Knüppel. A Global Minimization Method: The Multi-dimensional case. Technical Report 92.1, Forschungsschwerpunkt Informations- und Kommunikationstechnik, TU Hamburg-Harburg, 1992. (hdl.handle.net/11420/9483)