Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems | 0 | 0.34 | 2022 |
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 | 0 | 0.34 | 2020 |
Sharp numerical inclusion of the best constant for embedding on bounded convex domain. | 0 | 0.34 | 2017 |
Numerical verification of positiveness for solutions to semilinear elliptic problems | 0 | 0.34 | 2015 |
Fast Verified Solutions of Sparse Linear Systems with H-matrices. | 0 | 0.34 | 2013 |