Autor/in Rump, Siegfried M. Lange, Marko 3 Minamihata, Atsushi 2 Chaykin, Denis 1 Jansson, Christian 1 Keil, Frerich 1 Kobayashi, R 1 Ogita, Takeshi 1 Ohlhus, Kai Torben 1 Oishi, Shin’ichi 1 alle zeigenListe einklappen
Faithfully Rounded Floating-point Computations Lange, Marko Rump, Siegfried M. 2020 - TUHH Open Research
Verified inclusion of a basis of the null space Kobayashi, R Lange, Marko Minamihata, Atsushi Rump, Siegfried M. 2020 - TUHH Open Research
Addendum to "on recurrences converging to the wrong limit in finite precision and some new examples" Rump, Siegfried M. 2020 - TUHH Open Research
Verified bounds for the determinant of real or complex point or interval matrices Rump, Siegfried M. 2020 - TUHH Open Research
Rigorous lower bounds for the ground state energy of molecules by employing necessary N-representability conditions Chaykin, Denis Jansson, Christian Keil, Frerich Lange, Marko Ohlhus, Kai Torben Rump, Siegfried M. 2020 - TUHH Open Research
Modified error bounds for approximate solutions of dense linear systems Minamihata, Atsushi Ogita, Takeshi Rump, Siegfried M. Oishi, Shin’ichi 2020 - TUHH Open Research
On recurrences converging to the wrong limit in finite precision and some new examples Rump, Siegfried M. 2020 - TUHH Open Research