Pages that link to "Item:Q1900759"
From MaRDI portal
The following pages link to Numerical verification of existence and inclusion of solutions for nonlinear operator equations (Q1900759):
Displaying 20 items.
- Rigorous numerics for nonlinear operators with tridiagonal dominant linear part (Q255432) (← links)
- A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration (Q671009) (← links)
- Computable error bounds for approximate periodic solutions of autonomous delay differential equations (Q842203) (← links)
- An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces (Q1736168) (← links)
- A symmetry-breaking bifurcation theorem and some related theorems applicable to maps having unbounded derivatives (Q1880945) (← 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)
- 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)
- Numerical inclusion of exact periodic solutions for time delay Duffing equation (Q2297166) (← links)
- Norm bound computation for inverses of linear operators in Hilbert spaces (Q2634224) (← links)
- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS (Q2769532) (← 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)
- Efficient approaches for verifying the existence and bound of inverse of linear operators in Hilbert spaces (Q6101884) (← links)
- Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems (Q6103996) (← links)
- Validated integration of semilinear parabolic PDEs (Q6586798) (← links)
