Pages that link to "Item:Q1900766"

The following pages link to Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element (Q1900766):

Displaying 32 items.

• A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration (Q671009) (← links)
• Some remarks on the behaviour of the finite element solution in nonsmooth domains (Q847399) (← links)
• Computer-assisted proofs for semilinear elliptic boundary value problems (Q849190) (← links)
• Numerical verification method for infinite dimensional eigenvalue problems (Q849194) (← 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)
• A posteriori and constructive a priori error bounds for finite element solutions of the Stokes equations (Q1298533) (← links)
• Numerical verification of solutions for nonlinear elliptic problems using an \(L^\infty\) residual method (Q1378621) (← links)
• Numerical verification of solutions for obstacle problems using a Newton-like method (Q1570139) (← links)
• Numerical verification of solutions for elasto-plastic torsion problems (Q1570141) (← links)
• Computational proofs of the existence of solutions to elasto-plastic torsion problems (Q1585831) (← links)
• Numerical verification of solutions for variational inequalities of the second kind (Q1609070) (← links)
• A numerical verification method for solutions of singularly perturbed problems with nonlinearity (Q1774296) (← links)
• A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems (Q2048421) (← links)
• Inclusion method of optimal constant with quadratic convergence for \(H_0^1\)-projection error estimates and its applications (Q2088756) (← links)
• Finite element approximation of invariant manifolds by the parameterization method (Q2098090) (← links)
• Rigorous enclosures of solutions of Neumann boundary value problems (Q2154877) (← links)
• Numerical verifications for eigenvalues of second-order elliptic operators (Q2258353) (← links)
• Computer-assisted proofs in PDE: a survey (Q2321033) (← links)
• Orbital stability investigations for travelling waves in a nonlinearly supported beam (Q2327416) (← links)
• A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems (Q2487204) (← links)
• A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam (Q2493092) (← links)
• NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS (Q2769532) (← links)
• Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity (Q2967914) (← links)
• A Theorem for Numerical Verification on Local Uniqueness of Solutions to Fixed-Point Equations (Q3114589) (← links)
• Global smooth solution curves using rigorous branch following (Q3584839) (← links)
• An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness (Q4265782) (← links)
• Numerical verification for solutions to partial differential equations (Q4568286) (← links)
• An enclosure method of eigenvalues for the elliptic operator linearized at an exact solution of nonlinear problems (Q5929746) (← links)
• Generalized Lyapunov-Schmidt reduction for parametrized equations at near singular points (Q5929748) (← links)
• Computer-assisted enclosure methods for elliptic differential equations (Q5929750) (← links)
• Verified numerical computations for an inverse elliptic eigenvalue problem with finite data (Q5944173) (← links)