Expansion and estimation of the range of nonlinear functions Rump, Siegfried M. 1995 - TUHH Open Research
Verified computation of the solution of large sparse linear systems Rump, Siegfried M. 1995 - TUHH Open Research
Bounds for the componentwise distance to the nearest singular matrix Rump, Siegfried M. 1995 - TUHH Open Research
Verified solution of large systems and global optimization problems Rump, Siegfried M. 1995 - TUHH Open Research
Perron-Frobenius like theorems for not sign-restricted matrices Rump, Siegfried M. 1995 - TUHH Open Research
Improved iteration schemes for validation algorithms for dense and sparse nonlinear systems Rump, Siegfried M. 1995 - TUHH Open Research