研究成果

【平成28(2016)年度の成果】

年度代表論文
[1] M. Mizuguchi, A. Takayasu, T. Kubo,S. Oishi: Numerical verification for existence of a global-in-time solution to semilinear parabolic equations, J. Comput. Appl. Math., Vol. 315, pp. 1-16, 2017.
[2] Y. Watanabe, K. Nagatou, M. Plum, M. T. Nakao: Norm Bound Computation for Inverses of Linear Operators in Hilbert Spaces, Journal of Differential Equations, Vol. 260, Issue 7, pp. 6363-6374, 2016.
[3] K. Ozaki, T. Ogita, S. Oishi: Error-free transformation of matrix multiplication with a posteriori validation, Numerical Linear Algebra with Applications, Vol. 23, No. 5, pp. 931-946, 2016.

実績報告書(JSTページにリンク)


【平成27(2015)年度の成果】

年度代表論文
[1] Y. Watanabe, M. T. Nakao: A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration, Applied Mathematics and Computation, Vol. 276, Issue C (2016), pp.239-251.
[2] K. Kobayashi,T. Tsuchiya: A priori error estimates for Lagrange interpolation on 4 triangles, Applications of Mathematics, Vol.60, Issue 5 (2015), pp.485-499.

実績報告書(JSTページにリンク)


【平成26(2014)年度の成果】

実績報告書(JSTページにリンク)