Pages that link to "Item:Q1378621"
From MaRDI portal
The following pages link to Numerical verification of solutions for nonlinear elliptic problems using an \(L^\infty\) residual method (Q1378621):
Displaying 21 items.
- A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration (Q671009) (← links)
- A numerical verification method for a periodic solution of a delay differential equation (Q708308) (← links)
- On error estimation of finite element approximations to the elliptic equations in nonconvex polygonal domains (Q861887) (← links)
- Numerical method for verifying the existence and local uniqueness of a double turning point for a radially symmetric solution of the perturbed Gelfand equation (Q875360) (← links)
- On very accurate enclosure of the optimal constant in the a priori error estimates for \(H_0^2\)-projection (Q964975) (← links)
- On the best constant in the error bound for the \(H_0^1\)-projection into piecewise polynomial spaces (Q1266108) (← links)
- Error estimation with guaranteed accuracy of finite element method in nonconvex polygonal domains. (Q1410857) (← links)
- Solving obstacle problems with guaranteed accuracy. (Q1416447) (← links)
- Numerical verification of solutions for obstacle problems using a Newton-like method (Q1570139) (← links)
- An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces (Q1736168) (← links)
- Numerical method with guaranteed accuracy of a double turning point for a radially symmetric solution of the perturbed Gelfand equation (Q1877202) (← links)
- Inclusion method of optimal constant with quadratic convergence for \(H_0^1\)-projection error estimates and its applications (Q2088756) (← links)
- Numerical verifications for eigenvalues of second-order elliptic operators (Q2258353) (← links)
- Some considerations of the invertibility verifications for linear elliptic operators (Q2352136) (← links)
- A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems (Q2487204) (← links)
- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS (Q2769532) (← links)
- Finite element method by using quartic B-splines (Q3015171) (← links)
- A Theorem for Numerical Verification on Local Uniqueness of Solutions to Fixed-Point Equations (Q3114589) (← links)
- An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness (Q4265782) (← links)
- An enclosure method of eigenvalues for the elliptic operator linearized at an exact solution of nonlinear problems (Q5929746) (← links)
- Verified numerical computations for an inverse elliptic eigenvalue problem with finite data (Q5944173) (← links)
