Faculty Information - Kouta Sekine

Office

Academic background

Present specialized field

E-Mail Address

Works

Home Page

（Last updated : 2025-06-13 09:26:13）

Kouta Sekine
Department of Computer Science, Faculty of Innovative Information Science

Master's Program and Doctoral Program in Information and Computer Science, Graduate School of Information and Computer Science

Associate Professor

■ Office

Tsudanuma Campus, No.7 Building,8th floor room 070804

■ Academic background

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	Error estimates for the fully-discrete Petrov-Galerkin method of a linear parabolic problem Japan Journal of Industrial and Applied Mathematics (Collaboration) 2025/04/10
3.	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
4.	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
5.	Article	Numerical Verification of Subharmonic Solutions in the Ikeda Delay Differential Equation with External Force Term pp.132-148 (Collaboration) 2023/12/25
6.	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
7.	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
8.	Article	Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems Computers & Mathematics with Applications 106,pp.18-26 (Collaboration) 2022/01
9.	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
10.	Article	Error Constants for the Semi-Discrete Galerkin Approximation of the Linear Heat Equation Journal of Scientific Computing 89(2) (Collaboration) 2021/09
11.	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
12.	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
13.	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
14.	Article	Numerical verification method for positivity of solutions to elliptic equations (現象解明に向けた数値解析学の新展開(2)) 数理解析研究所講究録 (2037),pp.125-140 (Collaboration) 2017/07
15.	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
16.	Article	Sharp numerical inclusion of the best constant for embedding H<inf>0</inf>¹(Ω)↪L^p(Ω) on bounded convex domain Journal of Computational and Applied Mathematics 311,pp.306-313 (Collaboration) 2017
17.	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
18.	Article	Improved error bounds for linear systems with H-matrices Nonlinear Theory and Its Applications, IEICE 6(3),pp.377-382 (Collaboration) 2015
19.	Article	Numerical verification of positiveness for solutions to semilinear elliptic problems JSIAM Letters 7(0),pp.73-76 (Collaboration) 2015
20.	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
21.	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(21)

■ Home Page

https://271.jp