| Numerical validation of blow-up solutions of ordinary differential equations A Takayasu, K Matsue, T Sasaki, K Tanaka, M Mizuguchi, S Oishi Journal of Computational and Applied Mathematics 314, 10-29, 2017 | 46 | 2017 |
| Estimation of Sobolev embedding constant on a domain dividable into bounded convex domains M Mizuguchi, K Tanaka, K Sekine, S Oishi Journal of inequalities and applications 2017, 1-18, 2017 | 45 | 2017 |
| Verified norm estimation for the inverse of linear elliptic operators using eigenvalue evaluation K Tanaka, A Takayasu, X Liu, S Oishi Japan Journal of Industrial and Applied Mathematics 31, 665-679, 2014 | 23 | 2014 |
| Sharp numerical inclusion of the best constant for embedding H01 (Ω)↪ Lp (Ω) on bounded convex domain K Tanaka, K Sekine, M Mizuguchi, S Oishi Journal of Computational and Applied Mathematics 311, 306-313, 2017 | 17 | 2017 |
| Estimation of Sobolev-type embedding constant on domains with minimally smooth boundary using extension operator K Tanaka, K Sekine, M Mizuguchi, S Oishi Journal of Inequalities and Applications 2015, 1-23, 2015 | 9 | 2015 |
| Numerical verification of positiveness for solutions to semilinear elliptic problems K Tanaka, K Sekine, M Mizuguchi, S Oishi JSIAM Letters 7, 73-76, 2015 | 9 | 2015 |
| Numerical verification method for positive solutions of elliptic problems K Tanaka Journal of Computational and Applied Mathematics 370, 112647, 2020 | 4 | 2020 |
| Numerical verification method for positivity of solutions to elliptic equations (Numerical Analysis: New Developments for Elucidating Interdisciplinary Problems II) K Tanaka, K Sekine, S Oishi 数理解析研究所講究録 2037, 125-140, 2017 | 4 | 2017 |
| Estimation of an embedding constant on Lipschitz domains using extension operators K Tanaka, M Mizuguchi, K Sekine, A Takayasu, S Oishi JSST 2013 International Conference on Simulation Technology, 2013 | 4 | 2013 |
| Verified numerical computations for blow-up solutions of ODEs A Takayasu, K Matsue, T Sasaki, K Tanaka, M Mizuguchi, S Oishi SCAN 2016, 132, 2016 | 3 | 2016 |
| A posteriori verification for the sign-change structure of solutions of elliptic partial differential equations K Tanaka Japan Journal of Industrial and Applied Mathematics 38 (3), 731-756, 2021 | 2 | 2021 |
| ある無限次元固有値を用いた楕円型偏微分方程式の解の存在性に対する計算機援用証明法 (現象解明に向けた数値解析学の新展開 II) 関根晃太， 田中一成， 大石進一 数理解析研究所講究録 2037, 96-105, 2017 | 2 | 2017 |
| Numerical validation of blow-up solutions for ODEs A Takayasu, K Matsue, T Sasaki, K Tanaka, M Mizuguchi, S Oishi arXiv preprint arXiv:1606.03039, 2016 | 2 | 2016 |
| Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems K Sekine, K Tanaka, S Oishi Computers & Mathematics with Applications 106, 18-26, 2022 | 1 | 2022 |
| 半線形楕円型境界値問題の精度保証付き数値計算結果の改善 酒井将大， 田中一成， 大石進一 日本応用数理学会論文誌 29 (1), 17-45, 2019 | 1 | 2019 |
| Numerical method for deriving sharp inclusion of the Sobolev embedding constant on bounded convex domain K Tanaka, K Sekine, M Mizuguchi, S Oishi arXiv preprint arXiv:1503.05468, 2015 | 1 | 2015 |
| Polygonal Sequence-driven Triangulation Validator: An Incremental Approach to 2D Triangulation Verification S Sawai, K Tanaka, K Ozaki, S Oishi arXiv preprint arXiv:2401.08242, 2024 | | 2024 |
| Rigorous Numerical Enclosures for Positive Solutions of Lane–Emden’s Equation with Sub-Square Exponents K Tanaka, M Plum, K Sekine, M Kashiwagi, S Oishi Numerical Functional Analysis and Optimization 43 (3), 322-349, 2022 | | 2022 |
| A posteriori verification of the positivity of solutions to elliptic boundary value problems K Tanaka, T Asai Partial Differential Equations and Applications 3 (1), 9, 2022 | | 2022 |
| Numerical verification for positive solutions of Allen–Cahn equation using sub-and super-solution method Y Matsushima, K Tanaka, S Oishi Journal of Advanced Simulation in Science and Engineering 7 (1), 136-150, 2020 | | 2020 |
Akitoshi TakayasuUniversity of TsukubaDirección de correo verificada de risk.tsukuba.ac.jp