Constructive a priori error estimates for a full discrete approximation of the heat equation MT Nakao, T Kimura, T Kinoshita SIAM Journal on Numerical Analysis 51 (3), 1525-1541, 2013 | 30 | 2013 |
On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems MT Nakao, T Kinoshita, T Kimura Computing 94, 151-162, 2012 | 25 | 2012 |
On the a posteriori estimates for inverse operators of linear parabolic equations with applications to the numerical enclosure of solutions for nonlinear problems T Kinoshita, T Kimura, MT Nakao Numerische Mathematik 126, 679-701, 2014 | 23 | 2014 |
A posteriori estimates of inverse operators for initial value problems in linear ordinary differential equations T Kinoshita, T Kimura, MT Nakao Journal of Computational and Applied Mathematics 236 (6), 1622-1636, 2011 | 16 | 2011 |
Some considerations of the invertibility verifications for linear elliptic operators MT Nakao, Y Watanabe, T Kinoshita, T Kimura, N Yamamoto Japan Journal of Industrial and Applied Mathematics 32, 19-31, 2015 | 11 | 2015 |
Kepler’s quartic curve as a model of planetary orbits T Kimura, H Nakazato International Mathematical Forum 3 (38), 1871-1877, 2008 | 8 | 2008 |
Validated solutions of saddle point linear systems T Kimura, X Chen SIAM journal on matrix analysis and applications 30 (4), 1697-1708, 2009 | 7 | 2009 |
Constructive error analysis of a full-discrete finite element method for the heat equation K Hashimoto, T Kimura, T Minamoto, MT Nakao Japan Journal of Industrial and Applied Mathematics 36, 777-790, 2019 | 5 | 2019 |
Constructive error estimates for full discrete approximation of periodic solution for heat equation T Kimura, T Minamoto, MT Nakao Journal of Computational and Applied Mathematics 368, 112510, 2020 | 3 | 2020 |
Kepler’s octic curve as a model of Mars’s orbit T Kimura, H Nakazato Far East Journal of Applied Mathematics 34, 21-30, 2009 | 3 | 2009 |
A method for verifying the accuracy of numerical solutions of symmetric saddle point linear systems R Kobayashi, T Kimura, S Oishi Numerical Algorithms 76, 33-51, 2017 | 1 | 2017 |
Finite element surface fitting for bridge management X Chen, T Kimura International Journal of Information Technology & Decision Making 5 (04 …, 2006 | 1 | 2006 |
微分方程式とその有限要素近似に関連する精度保証付き数値計算法の発展と応用 拓馬木村 https://kaken.nii.ac.jp/ja/grant/KAKENHI-PROJECT-23K03232/, 2023 | | 2023 |
Improvement of the Constructive A Priori Error Estimates for a Fully Discretized Periodic Solution of Heat Equation T Kimura, T Minamoto, MT Nakao Computational Methods in Applied Mathematics 22 (3), 631-647, 2022 | | 2022 |
偏微分方程式と有限要素近似に関する精度保証付き数値計算法の発展とその自動化の研究 拓馬木村 https://kaken.nii.ac.jp/ja/grant/KAKENHI-PROJECT-20K03752/, 2020 | | 2020 |
発展方程式の解に対する指数関数行列を用いた精度保証付き数値計算法 拓馬木村 https://kaken.nii.ac.jp/ja/grant/KAKENHI-PROJECT-17K17948/, 2017 | | 2017 |
Optimal order constructive a priori error estimates for a full discrete approximation of the heat equation T Kimura, T Minamoto, MT Nakao Reliable Computing 25, 203, 2017 | | 2017 |
A method of verified computation for convex programming R Kobayashi, T Kimura, S Oishi SCAN 2016, 121, 2016 | | 2016 |
最適化問題に関連する精度保証付き数値計算法について 木村拓馬 第 28 回 RAMP シンポジウム論文集, 57-66, 2016 | | 2016 |
非線形最小化問題に関連する精度保証付き数値計算法の研究 拓馬木村 https://kaken.nii.ac.jp/ja/grant/KAKENHI-PROJECT-26870646/, 2014 | | 2014 |