| Publication | Date of Publication | Type |
|---|
Quantitative lower bounds estimates for the norm of resolvent using Galerkin approximation and its applications
Japan Journal of Industrial and Applied Mathematics | 2026-04-10 | Paper |
Efficient numerical verification procedure of norm bound for infinite-dimensional differential operator with singular term
Japan Journal of Industrial and Applied Mathematics | 2026-03-11 | Paper |
Stability analysis of Kolmogorov flow by an eigenvalue excluding method
Japan Journal of Industrial and Applied Mathematics | 2025-12-08 | Paper |
Another computer-assisted proof of unimodality of solutions for Proudman–Johnson equation
Japan Journal of Industrial and Applied Mathematics | 2024-05-07 | Paper |
A computer‐assisted method for the diblock copolymer model
ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik | 2024-01-09 | Paper |
On Some Convergence Properties for Finite Element Approximations to the Inverse of Linear Elliptic Operators
Acta Cybernetica | 2023-09-26 | Paper |
Efficient approaches for verifying the existence and bound of inverse of linear operators in Hilbert spaces
Journal of Scientific Computing | 2023-05-05 | Paper |
Improvement of infinity norm estimations related to computer-assisted proofs of the Kolmogorov problem
JSIAM Letters | 2022-11-09 | Paper |
Inclusion method of optimal constant with quadratic convergence for \(H_0^1\)-projection error estimates and its applications
Journal of Computational and Applied Mathematics | 2022-10-06 | Paper |
Computer-assisted proofs of the existence of a symmetry-breaking bifurcation point for the Kolmogorov problem
Journal of Computational and Applied Mathematics | 2021-06-03 | Paper |
Some improvements of invertibility verifications for second-order linear elliptic operators
Applied Numerical Mathematics | 2020-04-27 | Paper |
Some lower bound estimates for resolvents of a compact operator on an infinite-dimensional Hilbert space
Journal of Computational and Applied Mathematics | 2020-02-05 | Paper |
An improved method for verifying the existence and bounds of the inverse of second-order linear elliptic operators mapping to dual space
Japan Journal of Industrial and Applied Mathematics | 2019-08-15 | Paper |
Numerical verification methods and computer-assisted proofs for partial differential equations
Springer Series in Computational Mathematics | 2019-06-05 | Paper |
An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces
Journal of Differential Equations | 2019-03-26 | Paper |
A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration
Applied Mathematics and Computation | 2019-03-20 | Paper |
On the compactness of a nonlinear operator related to stream function-vorticity formulation for the Navier-Stokes equations
JSIAM Letters | 2019-03-18 | Paper |
Some remarks on a priori estimates of highly regular solutions for the Poisson equation in polygonal domains
Japan Journal of Industrial and Applied Mathematics | 2017-05-29 | Paper |
H^3 and H^4 regularities of the Poisson equation on polygonal domains
Mathematical Aspects of Computer and Information Sciences | 2016-05-25 | Paper |
Some remarks on the rigorous estimation of inverse linear elliptic operators
Scientific Computing, Computer Arithmetic, and Validated Numerics | 2016-05-02 | Paper |
An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid
Journal of Computational and Applied Mathematics | 2016-04-14 | Paper |
Norm bound computation for inverses of linear operators in Hilbert spaces
Journal of Differential Equations | 2016-02-08 | Paper |
Some considerations of the invertibility verifications for linear elliptic operators
Japan Journal of Industrial and Applied Mathematics | 2015-06-30 | Paper |
A computer-assisted method for excluding eigenvalues of an elliptic operator linearized at a solution of a nonlinear problem
Japan Journal of Industrial and Applied Mathematics | 2015-06-30 | Paper |
Tests of inequivalence among absolutely nonsingular tensors through geometric invariants
Universal Journal of Mathematics and Mathematical Sciences | 2014-11-14 | Paper |
Tests of inequivalence among absolutely nonsingular tensors through geometric invariants
Universal Journal of Mathematics and Mathematical Sciences | 2014-11-14 | Paper |
Verified computations of eigenvalue exclosures for eigenvalue problems in Hilbert spaces
SIAM Journal on Numerical Analysis | 2014-07-31 | Paper |
A posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations
Mathematics of Computation | 2013-07-23 | Paper |
A numerical verification method for a system of FitzHugh-Nagumo type
Numerical Functional Analysis and Optimization | 2013-01-04 | Paper |
Numerical verification methods for differential equations: computer-assisted proofs based on infinite dimensional sequential iteration
RIMS Kôkyûroku Bessatsu | 2012-10-01 | Paper |
A Theorem for Numerical Verification on Local Uniqueness of Solutions to Fixed-Point Equations
Numerical Functional Analysis and Optimization | 2012-02-19 | Paper |
Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems
Journal of Scientific Computing | 2011-01-16 | Paper |
Erratum to: Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems
Journal of Scientific Computing | 2011-01-16 | Paper |
A numerical verification method for two-coupled elliptic partial differential equations
Japan Journal of Industrial and Applied Mathematics | 2010-02-25 | Paper |
Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Bénard problem
Japan Journal of Industrial and Applied Mathematics | 2010-02-25 | Paper |
Spectral problem on 3-D photonic crystals
AIP Conference Proceedings | 2010-01-22 | Paper |
A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow
ZAMM | 2009-02-19 | Paper |
A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems
Numerische Mathematik | 2009-02-09 | Paper |
A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid
Journal of Computational and Applied Mathematics | 2009-01-07 | Paper |
An efficient approach to the numerical verification for solutions of elliptic differential equations
Numerical Algorithms | 2005-09-05 | Paper |
A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems
Computing | 2005-08-18 | Paper |
A numerical verification method for solutions of singularly perturbed problems with nonlinearity
Japan Journal of Industrial and Applied Mathematics | 2005-04-29 | Paper |
A numerical verification of nontrivial solutions for the heat convection problem
Journal of Mathematical Fluid Mechanics | 2004-05-27 | Paper |
Some computer assisted proofs for solutions of the heat convection problems
Reliable Computing | 2003-09-09 | Paper |
| scientific article; zbMATH DE number 1741306 (Why is no real title available?) | 2002-05-15 | Paper |
Verified numerical computations for an inverse elliptic eigenvalue problem with finite data
Japan Journal of Industrial and Applied Mathematics | 2001-12-09 | Paper |
| scientific article; zbMATH DE number 1440928 (Why is no real title available?) | 2001-11-01 | Paper |
A numerical verification for stationary solutions of Rayleigh-Bénard convection
RIMS Kokyuroku | 2001-09-17 | Paper |
| scientific article; zbMATH DE number 1500898 (Why is no real title available?) | 2001-01-29 | Paper |
A numerical verification method of solutions for the Navier-Stokes equations
Reliable Computing | 2000-03-22 | Paper |
A posteriori and constructive a priori error bounds for finite element solutions of the Stokes equations
Journal of Computational and Applied Mathematics | 2000-02-09 | Paper |
| scientific article; zbMATH DE number 1380806 (Why is no real title available?) | 1999-12-20 | Paper |
| scientific article; zbMATH DE number 1380910 (Why is no real title available?) | 1999-12-20 | Paper |
Constructive L^2 error estimates for finite element solutions of the Stokes equations
Reliable Computing | 1998-06-08 | Paper |
Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria
Nonlinear Analysis: Theory, Methods & Applications | 1997-02-20 | Paper |
| scientific article; zbMATH DE number 903764 (Why is no real title available?) | 1997-01-13 | Paper |
| scientific article; zbMATH DE number 799237 (Why is no real title available?) | 1996-01-28 | Paper |
On computational proofs of the existence of solutions to nonlinear parabolic problems
Journal of Computational and Applied Mathematics | 1994-09-22 | Paper |
Numerical verifications of solutions for nonlinear elliptic equations
Japan Journal of Industrial and Applied Mathematics | 1994-03-29 | Paper |
