Norm bound computation for inverses of linear operators in Hilbert spaces (Q2634224): Difference between revisions

@@ Property / cites work @@
+Q3025558
@@ Property / cites work: Q3025558 / rank @@
+Normal rank
@@ Property / cites work @@
+Eigenvalue enclosures and exclosures for non-self-adjoint problems in hydrodynamics
+Normal rank
@@ Property / cites work @@
+Q3470840
@@ Property / cites work: Q3470840 / rank @@
+Normal rank
@@ Property / cites work @@
+A numerically based existence theorem for the Navier-Stokes equations
+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 @@
+Determination of the Babuska-Aziz constant for the linear triangular finite element
+Normal rank
@@ Property / cites work @@
+A computer-assisted instability proof for the Orr-Sommerfeld equation with Blasius profile
+Normal rank
@@ Property / cites work @@
+A numerical approach to the proof of existence of solutions for elliptic 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 @@
+An efficient approach to the numerical verification for solutions of elliptic 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 @@
+Numerical verification of existence and inclusion of solutions for nonlinear operator equations
+Normal rank
@@ Property / cites work @@
+Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems
+Normal rank
@@ Property / cites work @@
+Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems
+Normal rank
@@ Property / cites work @@
+Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problems
+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 @@
+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 numerical verification method for two-coupled elliptic partial differential equations
+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