Pages that link to "Item:Q1195791"

The following pages link to Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems (Q1195791):

Displayed 8 items.

• Numerical verifications of solutions for nonlinear elliptic equations (Q689912) ‎ (← links)
• Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators (Q1860405) ‎ (← links)
• Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problems (Q1900760) ‎ (← links)
• Verified solution of large systems and global optimization problems (Q1900761) ‎ (← links)
• Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element (Q1900766) ‎ (← 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)
• Computer-assisted enclosure methods for elliptic differential equations (Q5929750) ‎ (← links)