Forschungsbericht 2014



Self-validating methods.

Institut: E-19
Projektleitung: Siegfried M. Rump
Mitarbeiter/innen: Florian Bünger
Christian Jansson
Marko Lange
Kai Torben Ohlhus
Laufzeit: 01.01.2014 — 31.12.2020
Kooperationen:Prof. Dr. Mitsuhiro Nakao, Kyushu University, Fukuoka, Japan.
Prof. Dr. Shin'ichi Oishi, Waseda University, Tokio, Japan.

Mitarbeiter in Japan:

Prof. Dr. Shin`Ichi Oishi (stellv. Leiter), Prof. Dr. M. Nakao, Prof. Dr. Tetsuo Nishi, Prof. Dr. T. Ogita, Dr. K. Ozaki, Dr. N. Yamanaka.

Es werden Methoden zur Verifikation von Fehlerschranken für Näherungslösungen numerischer Probleme entwickelt. Insbesondere werden große, spärlich besetzte lineare Gleichungssysteme, nichtlineare Gleichungssysteme, globale Optimierungsprobleme und schlecht konditionierte Probleme behandelt.

 

Publikationen

  • Rump, S.M.: Improved componentwise verified error bounds for least squares problems and underdetermined linear systems. Numerical Algorithms, 2013(66): S. 309–322, 2013.
  • Rump, S.M.: Verified bounds for the p-norm condition number. Reliable Computing, 2014(Vol. 20): S. 45-52, 2014.
  • Rump, S.M.: Verified sharp bounds for the real gamma function over the entire floating-point range. Nonlinear Theory and Its Applications (NOLTA), IEICE, 2014(E5-N)(3), July 2014.