Options
Verified solution of large systems and global optimization problems
Publikationstyp
Journal Article
Date Issued
1995-06-20
Sprache
English
Author(s)
Institut
TORE-URI
Volume
60
Issue
1-2
Start Page
201
End Page
218
Citation
Journal of Computational and Applied Mathematics 60 (1-2): 201-218 (1995-06-20)
Publisher DOI
Scopus ID
Publisher
North-Holland
Recent 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.
Subjects
Banded and sparse systems
Global optimization
Result verification
DDC Class
004: Informatik
510: Mathematik