Pages that link to "Item:Q4265782"

The following pages link to An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness (Q4265782):

Displayed 9 items.

• The Kantorovich theorem and interior point methods (Q1769068) ‎ (← links)
• A weak Kantorovich existence theorem for the solution of nonlinear equations (Q2481897) ‎ (← 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)
• VERIFIED NUMERICAL COMPUTATIONS FOR EIGENVALUES OF NON-COMMUTATIVE HARMONIC OSCILLATORS (Q4787845) ‎ (← 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)
• Numerical existence and uniqueness proof for solutions of nonlinear hyperbolic equations (Q5949506) ‎ (← links)