Kouji Hashimoto

From MaRDI portal
(Redirected from Person:930707)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Rigorous numerical inclusion of the blow-up time for the Fujita-type equation
Japan Journal of Industrial and Applied Mathematics
2023-01-17Paper
Numerical verification of solutions for nonlinear parabolic problems
Numerical Functional Analysis and Optimization
2020-09-07Paper
Constructive error analysis of a full-discrete finite element method for the heat equation
Japan Journal of Industrial and Applied Mathematics
2019-11-28Paper
scientific article; zbMATH DE number 5785599 (Why is no real title available?)2010-09-14Paper
On theL2a PrioriError Estimates to the Finite Element Solution of Elliptic Problems with Singular Adjoint Operator
Numerical Functional Analysis and Optimization
2009-05-29Paper
Guaranteed error bounds for finite element approximations of noncoercive elliptic problems and their applications
Journal of Computational and Applied Mathematics
2008-07-01Paper
Verified numerical computation of solutions for the stationary Navier-Stokes equation in nonconvex polygonal domains
Hokkaido Mathematical Journal
2008-04-03Paper
Numerical verification of stationary solutions for Navier-Stokes problems
Journal of Computational and Applied Mathematics
2007-02-02Paper
Numerical Verification Methods for Solutions of the Free Boundary Problem
Numerical Functional Analysis and Optimization
2005-11-15Paper
Numerical validation of solutions of saddle point matrix equations
Numerical Linear Algebra with Applications
2005-09-21Paper
A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems
Computing
2005-08-18Paper
A numerical verification method for solutions of singularly perturbed problems with nonlinearity
Japan Journal of Industrial and Applied Mathematics
2005-04-29Paper
Verification methods for nonlinear equations with saddle point functions
Journal of Computational and Applied Mathematics
2003-10-15Paper


Research outcomes over time


This page was built for person: Kouji Hashimoto