■ Office
|
Tsudanuma Campus, No.7 Building,8th floor room 070804
|
|
■ Academic background
| 1. |
2011/04～2014/03
|
〔Doctorial Course〕, Waseda University, Completed,
|
|
■ Present specialized field
|
Key Word：Numerical Analysis, Verified Numerical Computation, Computer-assisted proof
|
|
■ E-Mail Address
|
■ Works
|
1.
|
Book
|
The Art of High Performance Computing for Computational Science, Vol. 1: Techniques of speedup and parallelization for genereal purposes (Collaboration) 2019/05
|
|
2.
|
Article
|
Computer Assisted Existence Proof of Subharmonic Solutions for the Simultaneous Delayed El Nino Equation Transactions of the Japan Society for Industrial and Applied Mathematics pp.1-18 (Collaboration) 2024/03/25
|
|
3.
|
Article
|
The Best Constant for Error in Orthogonal Projection onto Finite-dimensional Subspaces of Abstract Hilbert Spaces Transactions of the Japan Society for Industrial and Applied Mathematics pp.19-32 (Collaboration) 2024/03/25
|
|
4.
|
Article
|
Numerical Verification of Subharmonic Solutions in the Ikeda Delay Differential Equation with External Force Term pp.132-148 (Collaboration) 2023/12/25
|
|
5.
|
Article
|
Rigorous numerical inclusion of the blow-up time for the Fujita-type equation Japan Journal of Industrial and Applied Mathematics 40(1),pp.665-689 (Collaboration) 2023/01
|
|
6.
|
Article
|
Rigorous Numerical Enclosures for Positive Solutions of Lane-Emden's Equation with Sub-Square Exponents NUMERICAL FUNCTIONAL ANALYSIS AND OPTIMIZATION 43(3),pp.322-349 (Collaboration) 2022/04
|
|
7.
|
Article
|
Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems Computers & Mathematics with Applications 106,pp.18-26 (Collaboration) 2022/01
|
|
8.
|
Article
|
A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems Applied Numerical Mathematics 169,pp.87-107 (Collaboration) 2021/11
|
|
9.
|
Article
|
Error Constants for the Semi-Discrete Galerkin Approximation of the Linear Heat Equation Journal of Scientific Computing 89(2) (Collaboration) 2021/09
|
|
10.
|
Article
|
Inclusion of periodic solutions for forced delay differential equation modeling El Niño Nonlinear Theory and Its Applications, IEICE 12(3),pp.575-610 (Collaboration) 2021
|
|
11.
|
Article
|
Numerical verification methods for a system of elliptic PDEs, and their software library Nonlinear Theory and Its Applications, IEICE 12(1),pp.41-74 (Collaboration) 2021
|
|
12.
|
Article
|
A new formulation using the Schur complement for the numerical existence proof of solutions to elliptic problems: without direct estimation for an inverse of the linearized operator Numerische Mathematik 146(4),pp.907-926 (Collaboration) 2020
|
|
13.
|
Article
|
Numerical verification method for positivity of solutions to elliptic equations (現象解明に向けた数値解析学の新展開(2)) 数理解析研究所講究録 (2037),pp.125-140 (Collaboration) 2017/07
|
|
14.
|
Article
|
Estimation of Sobolev embedding constant on a domain dividable into bounded convex domains Journal of Inequalities and Applications 2017(1),pp.1-18 (Collaboration) 2017
|
|
15.
|
Article
|
Sharp numerical inclusion of the best constant for embedding H<inf>0</inf>1(Ω)↪Lp(Ω) on bounded convex domain Journal of Computational and Applied Mathematics 311,pp.306-313 (Collaboration) 2017
|
|
16.
|
Article
|
Estimation of Sobolev-type embedding constant on domains with minimally smooth boundary using extension operator Journal of Inequalities and Applications 2015(1),pp.1-23 (Collaboration) 2015
|
|
17.
|
Article
|
Improved error bounds for linear systems with H-matrices Nonlinear Theory and Its Applications, IEICE 6(3),pp.377-382 (Collaboration) 2015
|
|
18.
|
Article
|
Numerical verification of positiveness for solutions to semilinear elliptic problems JSIAM Letters 7(0),pp.73-76 (Collaboration) 2015
|
|
19.
|
Article
|
An algorithm of identifying parameters satisfying a sufficient condition of Plum's Newton-Kantorovich like existence theorem for nonlinear operator equations Nonlinear Theory and Its Applications, IEICE 5(1),pp.64-79 (Collaboration) 2014
|
|
20.
|
Article
|
Fast verified solutions of sparse linear systems with H-matrices Reliable Computing 19(2),pp.127-141 (Collaboration) 2013
|
|
Display 5 items
|
|
Display all(20)
|
|
■ Home Page
|
