| Publication | Date of Publication | Type |
|---|
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 |
Rigorous numerical inclusion of the blow-up time for the Fujita-type equation
Japan Journal of Industrial and Applied Mathematics | 2023-01-17 | 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 |
Improvement of the constructive a priori error estimates for a fully discretized periodic solution of heat equation
Computational Methods in Applied Mathematics | 2022-08-03 | Paper |
Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains
Communications in Nonlinear Science and Numerical Simulation | 2022-02-16 | Paper |
Error constants for the semi-discrete Galerkin approximation of the linear heat equation
Journal of Scientific Computing | 2021-10-12 | Paper |
A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems
Applied Numerical Mathematics | 2021-08-05 | Paper |
Explicit a posteriori and a priori error estimation for the finite element solution of Stokes equations
Japan Journal of Industrial and Applied Mathematics | 2021-08-04 | Paper |
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 | 2021-01-11 | Paper |
Numerical verification of solutions for nonlinear parabolic problems
Numerical Functional Analysis and Optimization | 2020-09-07 | 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 |
Constructive error estimates for full discrete approximation of periodic solution for heat equation
Journal of Computational and Applied Mathematics | 2020-01-31 | Paper |
Constructive error analysis of a full-discrete finite element method for the heat equation
Japan Journal of Industrial and Applied Mathematics | 2019-11-28 | 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 |
Numerical verification for solutions to partial differential equations
Sugaku Expositions | 2018-06-18 | Paper |
Eigenvalue excluding for perturbed-periodic one-dimensional Schrödinger operators
Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences | 2017-06-07 | 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 |
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 |
Numerical verifications for eigenvalues of second-order elliptic operators
Japan Journal of Industrial and Applied Mathematics | 2015-03-03 | Paper |
Verified computations of eigenvalue exclosures for eigenvalue problems in Hilbert spaces
SIAM Journal on Numerical Analysis | 2014-07-31 | Paper |
On the a posteriori estimates for inverse operators of linear parabolic equations with applications to the numerical enclosure of solutions for nonlinear problems
Numerische Mathematik | 2014-06-12 | Paper |
On very accurate verification of solutions for boundary value problems by using spectral methods
JSIAM Letters | 2013-11-19 | Paper |
Constructive a priori error estimates for a full discrete approximation of the heat equation
SIAM Journal on Numerical Analysis | 2013-09-02 | Paper |
A posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations
Mathematics of Computation | 2013-07-23 | Paper |
On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems
Computing | 2012-04-04 | Paper |
A Theorem for Numerical Verification on Local Uniqueness of Solutions to Fixed-Point Equations
Numerical Functional Analysis and Optimization | 2012-02-19 | Paper |
A posteriori estimates of inverse operators for initial value problems in linear ordinary differential equations
Journal of Computational and Applied Mathematics | 2011-12-21 | 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 a periodic solution of a delay differential equation
Journal of Computational and Applied Mathematics | 2010-10-11 | Paper |
scientific article; zbMATH DE number 5785599 (Why is no real title available?)
| 2010-09-14 | Paper |
scientific article; zbMATH DE number 5775425 (Why is no real title available?)
| 2010-08-27 | Paper |
On very accurate enclosure of the optimal constant in the a priori error estimates for \(H_0^2\)-projection
Journal of Computational and Applied Mathematics | 2010-04-21 | 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 |
Some remarks on the behaviour of the finite element solution in nonsmooth domains
Applied Mathematics Letters | 2010-02-12 | Paper |
On verified computations of the optimal constant in the a priori error estimates for \(H_{0}^{2}\)-projection
AIP Conference Proceedings | 2010-01-22 | Paper |
On theL2a PrioriError Estimates to the Finite Element Solution of Elliptic Problems with Singular Adjoint Operator
Numerical Functional Analysis and Optimization | 2009-05-29 | 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 |
Guaranteed error bounds for finite element approximations of noncoercive elliptic problems and their applications
Journal of Computational and Applied Mathematics | 2008-07-01 | Paper |
Verified numerical computation of solutions for the stationary Navier-Stokes equation in nonconvex polygonal domains
Hokkaido Mathematical Journal | 2008-04-03 | Paper |
Numerical method for verifying the existence and local uniqueness of a double turning point for a radially symmetric solution of the perturbed Gelfand equation
Journal of Computational and Applied Mathematics | 2007-04-13 | Paper |
Numerical verification of stationary solutions for Navier-Stokes problems
Journal of Computational and Applied Mathematics | 2007-02-02 | Paper |
Numerical Verification Methods for Solutions of the Free Boundary Problem
Numerical Functional Analysis and Optimization | 2005-11-15 | 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 |
Numerical verification of solutions for obstacle problems.
Journal of Computational and Applied Mathematics | 2004-01-26 | Paper |
Some computer assisted proofs for solutions of the heat convection problems
Reliable Computing | 2003-09-09 | Paper |
scientific article; zbMATH DE number 1791985 (Why is no real title available?)
| 2003-04-27 | Paper |
VERIFIED NUMERICAL COMPUTATIONS FOR EIGENVALUES OF NON-COMMUTATIVE HARMONIC OSCILLATORS
Numerical Functional Analysis and Optimization | 2003-04-14 | Paper |
scientific article; zbMATH DE number 1694760 (Why is no real title available?)
| 2002-08-19 | Paper |
Numerical verification of solutions for variational inequalities of the second kind
Computers & Mathematics with Applications | 2002-08-15 | Paper |
scientific article; zbMATH DE number 1694909 (Why is no real title available?)
| 2002-08-05 | Paper |
scientific article; zbMATH DE number 1766642 (Why is no real title available?)
| 2002-07-11 | Paper |
scientific article; zbMATH DE number 1741306 (Why is no real title available?)
| 2002-05-15 | Paper |
Numerical verification of solutions for elasto-plastic torsion problems
Computers & Mathematics with Applications | 2002-02-21 | Paper |
NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
Numerical Functional Analysis and Optimization | 2002-02-05 | Paper |
Verified numerical computations for an inverse elliptic eigenvalue problem with finite data
Japan Journal of Industrial and Applied Mathematics | 2001-12-09 | Paper |
Numerical verification method for solutions of the perturbed Gelfand equation
Methods and Applications of Analysis | 2001-11-04 | Paper |
scientific article; zbMATH DE number 1440928 (Why is no real title available?)
| 2001-11-01 | Paper |
Numerical verification methods for solutions of ordinary and partial differential equations
RIMS Kokyuroku | 2001-09-23 | Paper |
A numerical verification for stationary solutions of Rayleigh-Bénard convection
RIMS Kokyuroku | 2001-09-17 | Paper |
Solutions with guaranteed accuracy for coupling-type eigenvalue problems related to noncommutative harmonic oscillators
RIMS Kokyuroku | 2001-09-17 | Paper |
An enclosure method of eigenvalues for the elliptic operator linearized at an exact solution of nonlinear problems
Linear Algebra and its Applications | 2001-07-03 | Paper |
scientific article; zbMATH DE number 1500898 (Why is no real title available?)
| 2001-01-29 | Paper |
An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness
Numerical Functional Analysis and Optimization | 2000-06-05 | Paper |
A numerical verification method of solutions for the Navier-Stokes equations
Reliable Computing | 2000-03-22 | Paper |
scientific article; zbMATH DE number 1404313 (Why is no real title available?)
| 2000-02-20 | 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 1395289 (Why is no real title available?)
| 2000-01-30 | 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 |
scientific article; zbMATH DE number 1380912 (Why is no real title available?)
| 1999-12-20 | Paper |
scientific article; zbMATH DE number 1372781 (Why is no real title available?)
| 1999-12-01 | Paper |
scientific article; zbMATH DE number 1239855 (Why is no real title available?)
| 1999-07-06 | Paper |
On the best constant in the error bound for the \(H_0^1\)-projection into piecewise polynomial spaces
Journal of Approximation Theory | 1999-02-18 | Paper |
Constructive \(L^2\) error estimates for finite element solutions of the Stokes equations
Reliable Computing | 1998-06-08 | Paper |
Numerical verifications of solutions for nonlinear parabolic equations in one-space dimensional case
Reliable Computing | 1998-04-14 | Paper |
Numerical verification of solutions for nonlinear elliptic problems using an \(L^\infty\) residual method
Journal of Mathematical Analysis and Applications | 1998-02-09 | Paper |
Numerical verification of solutions for variational inequalities
Numerische Mathematik | 1998-01-01 | Paper |
Numerical verification of solutions of parametrized nonlinear boundary value problems with turning points
Japan Journal of Industrial and Applied Mathematics | 1997-12-03 | 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 852355 (Why is no real title available?)
| 1996-06-03 | Paper |
Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element
Journal of Computational and Applied Mathematics | 1996-03-11 | Paper |
scientific article; zbMATH DE number 834473 (Why is no real title available?)
| 1996-02-06 | Paper |
scientific article; zbMATH DE number 799237 (Why is no real title available?)
| 1996-01-28 | Paper |
scientific article; zbMATH DE number 804656 (Why is no real title available?)
| 1995-11-21 | Paper |
scientific article; zbMATH DE number 524105 (Why is no real title available?)
| 1994-12-11 | Paper |
Numerical verifications of solutions for elliptic equations in nonconvex polygonal domains
Numerische Mathematik | 1994-10-09 | Paper |
On computational proofs of the existence of solutions to nonlinear parabolic problems
Journal of Computational and Applied Mathematics | 1994-09-22 | Paper |
scientific article; zbMATH DE number 619560 (Why is no real title available?)
| 1994-08-16 | Paper |
Numerical verifications of solutions for nonlinear elliptic equations
Japan Journal of Industrial and Applied Mathematics | 1994-03-29 | Paper |
scientific article; zbMATH DE number 440800 (Why is no real title available?)
| 1993-12-05 | Paper |
scientific article; zbMATH DE number 176421 (Why is no real title available?)
| 1993-05-18 | Paper |
A numerical verification method for the existence of weak solutions for nonlinear boundary value problems
Journal of Mathematical Analysis and Applications | 1992-09-27 | Paper |
Solving nonlinear parabolic problems with result verification. I: One- space dimensional case
Journal of Computational and Applied Mathematics | 1992-06-28 | Paper |
Numerical verifications of solutions for elliptic equations with strong nonlinearity
Numerical Functional Analysis and Optimization | 1992-06-25 | Paper |
scientific article; zbMATH DE number 4200737 (Why is no real title available?)
| 1992-01-01 | Paper |
A numerical approach to the proof of existence of solutions for elliptic problems II
Japan Journal of Applied Mathematics | 1990-01-01 | Paper |
scientific article; zbMATH DE number 4178671 (Why is no real title available?)
| 1990-01-01 | Paper |
scientific article; zbMATH DE number 4150839 (Why is no real title available?)
| 1989-01-01 | Paper |
A numerical approach to the proof of existence of solutions for elliptic problems
Japan Journal of Applied Mathematics | 1988-01-01 | Paper |
Superconvergence of the gradient of Galerkin approximations for elliptic problems
Journal of Computational and Applied Mathematics | 1987-01-01 | Paper |
Superconvergence of the gradient of Galerkin approximations for elliptic problems
ESAIM: Mathematical Modelling and Numerical Analysis | 1987-01-01 | Paper |
scientific article; zbMATH DE number 4018272 (Why is no real title available?)
| 1986-01-01 | Paper |
Error estimates of a Galerkin method for some nonlinear Sobolev equations in one space dimension
Numerische Mathematik | 1985-01-01 | Paper |
scientific article; zbMATH DE number 4011860 (Why is no real title available?)
| 1985-01-01 | Paper |
L∞ ERROR ESTIMATES AND SUPERCONVERGENCE RESULTS FOR A COLLOCATION-H-1-GALERKIN METHOD FOR ELLIPTIC EQUATIONS
Memoirs of the Faculty of Science, Kyushu University. Series A, Mathematics | 1985-01-01 | Paper |
A Collocation-H -1 -Galerkin Method for Some Elliptic Equations
Mathematics of Computation | 1984-01-01 | Paper |
scientific article; zbMATH DE number 3919699 (Why is no real title available?)
| 1984-01-01 | Paper |
scientific article; zbMATH DE number 3919726 (Why is no real title available?)
| 1984-01-01 | Paper |
scientific article; zbMATH DE number 3814911 (Why is no real title available?)
| 1983-01-01 | Paper |
COLLOCATION-H-1-GALERKIN METHOD FOR SOME PARABOLIC EQUATIONS IN TWO SPACE VARIABLES
Memoirs of the Faculty of Science, Kyushu University. Series A, Mathematics | 1982-01-01 | Paper |
scientific article; zbMATH DE number 3784239 (Why is no real title available?)
| 1982-01-01 | Paper |
SOME SUPERCONVERGENCE ESTIMATES FOR A COLLOCATION-H-1 -GALERKIN METHOD FOR PARABOLIC PROBLEMS
Memoirs of the Faculty of Science, Kyushu University. Series A, Mathematics | 1981-01-01 | Paper |
