Pages that link to "Item:Q2387778"
From MaRDI portal
The following pages link to An efficient approach to the numerical verification for solutions of elliptic differential equations (Q2387778):
Displaying 15 items.
- A numerical verification method for two-coupled elliptic partial differential equations (Q849177) (← 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)
- Interval versions of central-difference method for solving the Poisson equation in proper and directed interval arithmetic (Q902736) (← links)
- A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems (Q2048421) (← links)
- Finite element approximation of invariant manifolds by the parameterization method (Q2098090) (← 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)
- A computer-assisted method for excluding eigenvalues of an elliptic operator linearized at a solution of a nonlinear problem (Q2352149) (← links)
- A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems (Q2487204) (← links)
- Norm bound computation for inverses of linear operators in Hilbert spaces (Q2634224) (← links)
- Global smooth solution curves using rigorous branch following (Q3584839) (← links)
- Numerical verification for solutions to partial differential equations (Q4568286) (← links)
- A Numerical Verification Method for a System of FitzHugh-Nagumo Type (Q4899071) (← links)
- A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations (Q5278036) (← links)
