@inbook{6f21b9c1c56b4847a3cbd23488258bfe,
title = "Tight enclosures of solutions of linear systems",
abstract = "This paper is concerned with the problem of verifying the accuracy of an approximate solution of a linear system. A fast method of calculating both lower and upper error bounds of the approximate solution is proposed. By the proposed method, it is possible to obtain the error bounds which are as tight as needed. As a result, it can be verified that the obtained error bounds are of high quality. Numerical results are presented elucidating properties and efficiencies of the proposed verification method.",
keywords = "Linear system, Tight enclosure, Verified numerical computation",
author = "Takeshi Ogita and Shin{\textquoteright}ichi Oishi",
note = "Publisher Copyright: {\textcopyright} Birkh{\"a}user Verlag Basel/Switzerland 2008. Copyright: Copyright 2020 Elsevier B.V., All rights reserved.",
year = "2009",
doi = "10.1007/978-3-7643-8773-0_16",
language = "English",
series = "International Series of Numerical Mathematics",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "167--178",
booktitle = "International Series of Numerical Mathematics",
}