| 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 |
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 |
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 |
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 |
An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces
Journal of Differential Equations | 2019-03-26 | 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 |
Some considerations of the invertibility verifications for linear elliptic operators
Japan Journal of Industrial and Applied Mathematics | 2015-06-30 | 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 posteriori estimates of inverse operators for initial value problems in linear ordinary differential equations
Journal of Computational and Applied Mathematics | 2011-12-21 | 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 |
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 |
