Pages that link to "Item:Q4265782"
From MaRDI portal
The following pages link to An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness (Q4265782):
Displaying 21 items.
- A posteriori error bounds for two point boundary value problems: a Green's function approach (Q317173) (← links)
- Computer-assisted equilibrium validation for the diblock copolymer model (Q501487) (← links)
- Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems (Q618582) (← links)
- Numerical verification of the global uniqueness of a positive solution for Nekrasov's equation (Q701913) (← links)
- Computer-assisted proofs for semilinear elliptic boundary value problems (Q849190) (← links)
- Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Bénard problem (Q849191) (← links)
- Numerical verification method for infinite dimensional eigenvalue problems (Q849194) (← links)
- The Kantorovich theorem and interior point methods (Q1769068) (← links)
- Computer-assisted proofs of the existence of a symmetry-breaking bifurcation point for the Kolmogorov problem (Q2029666) (← links)
- Computer-assisted proofs in PDE: a survey (Q2321033) (← links)
- Orbital stability investigations for travelling waves in a nonlinearly supported beam (Q2327416) (← links)
- An efficient approach to the numerical verification for solutions of elliptic differential equations (Q2387778) (← 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)
- A Theorem for Numerical Verification on Local Uniqueness of Solutions to Fixed-Point Equations (Q3114589) (← 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)
