研究成果

【平成29(2017)年度の成果】

年度代表論文
[1] Makoto Mizuguchi, Akitoshi Takayasu, Takayuki Kubo, and Shin’ichi Oishi, A method of verified computations for solutions to semilinear parabolic equations using semigroup theory, SIAM J. Numer. Anal.,Vol. 55, No.2, pp.980-1001, 2017.
[2] A. Takayasu, K. Matsue, T. Sasaki, K. Tanaka, M. Mizuguchi, and S. Oishi: Numerical validation of blow-up solutions of ordinary differential equations, J. Comput. Appl. Math., Vol. 314, pp.10-29, Apr. 2017.
[3] Ryo Kobayashi, Takuma Kimura, Shin’ichi Oishi, A method for verifying the accuracy of numerical solutions of symmetric saddle point linear systems, Numerical Algorithms, Vol. 76, Issue 1, pp.33–51, September 2017.

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


【平成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ページにリンク)