An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces (Q1736168): Difference between revisions

@@ Property / describes a project that uses @@
+INTLAB
@@ Property / describes a project that uses: INTLAB / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jde.2018.10.027
+Normal rank
@@ Property / OpenAlex ID @@
+W2899096038
@@ Property / OpenAlex ID: W2899096038 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
+Normal rank
@@ Property / cites work @@
+Non-symmetric low-index solutions for a symmetric boundary value problem
+Normal rank
@@ Property / cites work @@
+Two novel methods and multi-mode periodic solutions for the Fermi-Pasta-Ulam model
+Normal rank
@@ Property / cites work @@
+Q4162607
@@ Property / cites work: Q4162607 / rank @@
+Normal rank
@@ Property / cites work @@
+Validated Continuation for Equilibria of PDEs
@@ Property / cites work: Validated Continuation for Equilibria of PDEs / rank @@
+Normal rank
@@ Property / cites work @@
+A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations
+Normal rank
@@ Property / cites work @@
+Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
+Normal rank
@@ Property / cites work @@
+Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation
+Normal rank
@@ Property / cites work @@
+Efficient Rigorous Numerics for Higher-Dimensional PDEs via One-Dimensional Estimates
+Normal rank
@@ Property / cites work @@
+Q3470840
@@ Property / cites work: Q3470840 / rank @@
+Normal rank
@@ Property / cites work @@
+Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
+Normal rank
@@ Property / cites work @@
+On the<i>L</i><sup>2</sup><i>a Priori</i>Error Estimates to the Finite Element Solution of Elliptic Problems with Singular Adjoint Operator
+Normal rank
@@ Property / cites work @@
+On very accurate enclosure of the optimal constant in the a priori error estimates for \(H_0^2\)-projection
+Normal rank
@@ Property / cites work @@
+Some Remarks on the Rigorous Estimation of Inverse Linear Elliptic Operators
+Normal rank
@@ Property / cites work @@
+Determination of the Babuska-Aziz constant for the linear triangular finite element
+Normal rank
@@ Property / cites work @@
+A constructive a priori error estimation for finite element discretizations in a non-convex domain using singular functions
+Normal rank
@@ Property / cites work @@
+A priori error estimates for Lagrange interpolation on triangles.
+Normal rank
@@ Property / cites work @@
+Verified Eigenvalue Evaluation for the Laplacian over Polygonal Domains of Arbitrary Shape
+Normal rank
@@ Property / cites work @@
+Numerical verification of stationary solutions for Navier-Stokes problems
+Normal rank
@@ Property / cites work @@
+Numerical verification method for infinite dimensional eigenvalue problems
+Normal rank
@@ Property / cites work @@
+On the best constant in the error bound for the \(H_0^1\)-projection into piecewise polynomial spaces
+Normal rank
@@ Property / cites work @@
+Q4860584
@@ Property / cites work: Q4860584 / rank @@
+Normal rank
@@ Property / cites work @@
+Numerical verification of solutions for nonlinear elliptic problems using an \(L^\infty\) residual method
+Normal rank
@@ Property / cites work @@
+Q2765619
@@ Property / cites work: Q2765619 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2765426
@@ Property / cites work: Q2765426 / rank @@
+Normal rank
@@ Property / cites work @@
+NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
+Normal rank
@@ Property / cites work @@
+A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems
+Normal rank
@@ Property / cites work @@
+Guaranteed error bounds for finite element approximations of noncoercive elliptic problems and their applications
+Normal rank
@@ Property / cites work @@
+Some remarks on the behaviour of the finite element solution in nonsmooth domains
+Normal rank
@@ Property / cites work @@
+Some considerations of the invertibility verifications for linear elliptic operators
+Normal rank
@@ Property / cites work @@
+Numerical verification of existence and inclusion of solutions for nonlinear operator equations
+Normal rank
@@ Property / cites work @@
+Existence and multiplicity proofs for semilinear elliptic boundary value problems by computer assistance
+Normal rank
@@ Property / cites work @@
+Q4949347
@@ Property / cites work: Q4949347 / rank @@
+Normal rank
@@ Property / cites work @@
+Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse
+Normal rank
@@ Property / cites work @@
+Rigorous Numerics in Dynamics
@@ Property / cites work: Rigorous Numerics in Dynamics / rank @@
+Normal rank
@@ Property / cites work @@
+Global smooth solution curves using rigorous branch following
+Normal rank
@@ Property / cites work @@
+A numerical verification of nontrivial solutions for the heat convection problem
+Normal rank
@@ Property / cites work @@
+A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow
+Normal rank
@@ Property / cites work @@
+A posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations
+Normal rank
@@ Property / cites work @@
+Verified Computations of Eigenvalue Exclosures for Eigenvalue Problems in Hilbert Spaces
+Normal rank
@@ Property / cites work @@
+Norm bound computation for inverses of linear operators in Hilbert spaces
+Normal rank
@@ Property / cites work @@
+A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration
+Normal rank
@@ Property / cites work @@
+Numerical verifications of solutions for elliptic equations in nonconvex polygonal domains
+Normal rank
@@ Property / cites work @@
+Error estimation with guaranteed accuracy of finite element method in nonconvex polygonal domains.
+Normal rank
@@ Property / cites work @@
+On error estimation of finite element approximations to the elliptic equations in nonconvex polygonal domains
+Normal rank