Rump, Siegfried M.Siegfried M.Rump2021-05-032021-05-031995-06-20Journal of Computational and Applied Mathematics 60 (1-2): 201-218 (1995-06-20)http://hdl.handle.net/11420/9412Recent results on the solution of large, banded or sparse systems and on global unconstrained optimization problems including verification of the correctness of the result will be discussed. The computing time for the verification for large linear systems is the same as for the decomposition, the total computational effort for verifying the global optimum value is for well-known test examples competitive to those of pure floating point algorithms. Computational examples will be demonstrated.en0377-0427Journal of computational and applied mathematics19951-2201218North-HollandBanded and sparse systemsGlobal optimizationResult verificationInformatikMathematikVerified solution of large systems and global optimization problemsJournal Article10.1016/0377-0427(94)00092-FOther