Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao. Some Remarks on the Rigorous Estimation of Inverse Linear Elliptic Operators. In Marco Nehmeier, Jürgen Wolff von Gudenberg, Warwick Tucker, editors, Scientific Computing, Computer Arithmetic, and Validated Numerics - 16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers. Volume 9553 of Lecture Notes in Computer Science, pages 225-235, Springer, 2014. [doi]
Abstract is missing.