Forschungsbericht 2020

Zuverlässiges Rechnen E-19

Leitung: Prof. Dr. Siegfried Rump

Institut auf TORE
Institutswebsite

Publikationen

• Rigorous lower bounds for the ground state energy of molecules by employing necessary N-representability conditions - Article
  Chaykin, Denis; Jansson, Christian; Keil, Frerich; Lange, Marko; Ohlhus, Kai Torben; Rump, Siegfried M.
  Journal of Chemical Theory and Computation 12 (16): 7342-7356 (2020)
  Publisher DOI
  
  
• Faithfully Rounded Floating-point Computations - Article
  Lange, Marko; Rump, Siegfried M.
  ACM Transactions on Mathematical Software 3 (46): 3290955 (2020-09)
  Publisher DOI
  
  
• On recurrences converging to the wrong limit in finite precision and some new examples - article-review
  Rump, Siegfried M.
  Electronic Transactions on Numerical Analysis (52): 358-369 (2020)
  Publisher DOI
  
  
• Verified bounds for the determinant of real or complex point or interval matrices - Article
  Rump, Siegfried M.
  Journal of Computational and Applied Mathematics (372): 112610 (2020-06)
  Publisher DOI
  
  
• A note on Dekker’s FastTwoSum algorithm - Article
  Lange, Marko; Oishi, Shin’ichi
  Numerische Mathematik 2 (145): 383-403 (2020-06-01)
  Publisher DOI
  
  
• Modified error bounds for approximate solutions of dense linear systems - Article
  Minamihata, Atsushi; Ogita, Takeshi; Rump, Siegfried M.; Oishi, Shin’ichi
  Journal of Computational and Applied Mathematics (369): 112546 (2020-05-01)
  Publisher DOI
  
  
• A Taylor model toolbox for solving ODEs implemented in MATLAB/INTLAB - Article
  Bünger, Florian
  Journal of Computational and Applied Mathematics (368): 112511 (2020-04)
  Publisher DOI
  
  
• Verified inclusion of a basis of the null space - Article
  Kobayashi, R; Lange, Marko; Minamihata, Atsushi; Rump, Siegfried M.
  Reliable computing (27): 26–41 (2020)
  
  
• Verified inclusions for a nearest matrix of specified rank deficiency via a generalization of Wedin’s sin (θ) theorem - Article
  Lange, Marko; Rump, Siegfried M.
  BIT Numerical Mathematics (in Press): (2020)
  Publisher DOI
  
  
• Addendum to "on recurrences converging to the wrong limit in finite precision and some new examples" - Article
  Rump, Siegfried M.
  Electronic Transactions on Numerical Analysis (52): 571-575 (2020)
  Publisher DOI
  
  

Projekte

• Recursively defined functions and their zero distribution
  Laufzeit 2018 - 2021
  Projektleitung: Batra, Prashant
  
  
• Reliable Computing Toolbox INTLAB
  Technische Universität Hamburg; Laufzeit 2014 - 2020
  Projektleitung: Rump, Siegfried M.
  Mitarbeitende: Bünger, Florian
  
  

Kooperationspartner

• Prof. Dr. Doru Stefanescu, Universität Bukarest, Institut f. Theoretische Physik und Mathematik, Rumänien.
• Dr. Vikram Sharma, Institute of Mathematical Sciences, Chennai, Tamil Nadu, Indien
• Prof. Dr. Shin'ichi Oishi, Institute for Mathematics, Waseda University, Tokyo, Japan
• Prof. Dr. Takeshi Ogita, Tokyo Women Chrisitian University, Tokyo, Japan