Pages that link to "Item:Q2487204"
From MaRDI portal
The following pages link to A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems (Q2487204):
Displaying 42 items.
- On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems (Q411417) (← links)
- Fast interval matrix multiplication (Q451807) (← links)
- Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems (Q618582) (← links)
- Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse (Q634116) (← links)
- A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration (Q671009) (← links)
- Sharp numerical inclusion of the best constant for embedding \(H_0^1(\Omega) \hookrightarrow L^p(\Omega)\) on bounded convex domain (Q730551) (← links)
- Some remarks on the behaviour of the finite element solution in nonsmooth domains (Q847399) (← links)
- Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Bénard problem (Q849191) (← links)
- Improved convergence theorems of Newton's method designed for the numerical verification for solutions of differential equations (Q861902) (← links)
- Numerical verification of stationary solutions for Navier-Stokes problems (Q861928) (← links)
- Guaranteed error bounds for finite element approximations of noncoercive elliptic problems and their applications (Q930708) (← links)
- A rapidly convergent method for the inversion of separable, positive, self-adjoint discrete elliptic operators in three or more dimensions (Q1104049) (← links)
- Augmenting a Fredholm operator of zero index to achieve invertibility for elliptic boundary value problems (Q1260844) (← links)
- Verification of invertibility of complicated functions over large domains (Q1604712) (← links)
- An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces (Q1736168) (← links)
- A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems (Q2048421) (← links)
- Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems (Q2074125) (← links)
- Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains (Q2076252) (← links)
- Global dynamics in nonconservative nonlinear Schrödinger equations (Q2078873) (← links)
- Some improvements of invertibility verifications for second-order linear elliptic operators (Q2174959) (← links)
- 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 (Q2217873) (← links)
- Verified norm estimation for the inverse of linear elliptic operators using eigenvalue evaluation (Q2257618) (← links)
- Some lower bound estimates for resolvents of a compact operator on an infinite-dimensional Hilbert space (Q2293609) (← links)
- An improved method for verifying the existence and bounds of the inverse of second-order linear elliptic operators mapping to dual space (Q2318498) (← links)
- Some considerations of the invertibility verifications for linear elliptic operators (Q2352136) (← links)
- Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation (Q2431105) (← links)
- On the a posteriori estimates for inverse operators of linear parabolic equations with applications to the numerical enclosure of solutions for nonlinear problems (Q2454037) (← links)
- Norm bound computation for inverses of linear operators in Hilbert spaces (Q2634224) (← links)
- Some Remarks on the Rigorous Estimation of Inverse Linear Elliptic Operators (Q2803604) (← links)
- A posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations (Q2840620) (← links)
- Numerical verification of positiveness for solutions to semilinear elliptic problems (Q3121396) (← links)
- 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 (Q3630405) (← links)
- Numerical verification for solutions to partial differential equations (Q4568286) (← links)
- Efficient inversion of the Galerkin matrix of general second-order elliptic operators with nonsmooth coefficients (Q4671833) (← links)
- Microscopic patterns in the 2D phase-field-crystal model (Q5036280) (← links)
- A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations (Q5278036) (← links)
- Numerical Verification Methods for Solutions of the Free Boundary Problem (Q5704525) (← links)
- On Some Convergence Properties for Finite Element Approximations to the Inverse of Linear Elliptic Operators (Q6053395) (← links)
- Constructive proofs for localised radial solutions of semilinear elliptic systems on Rd (Q6058476) (← links)
- Efficient approaches for verifying the existence and bound of inverse of linear operators in Hilbert spaces (Q6101884) (← links)
- On the problem of superconvergence of finite element method algorithms (Q6191491) (← links)
- Rigorous computation of solutions of semilinear PDEs on unbounded domains via spectral methods (Q6598405) (← links)
