Pages that link to "Item:Q1195791"
From MaRDI portal
The following pages link to Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems (Q1195791):
Displaying 27 items.
- Fast interval matrix multiplication (Q451807) (← links)
- A framework of verified eigenvalue bounds for self-adjoint differential operators (Q669702) (← links)
- Numerical verifications of solutions for nonlinear elliptic equations (Q689912) (← links)
- A computer-assisted proof of the existence of solutions to a boundary value problem with an integral boundary condition (Q718434) (← links)
- Computer-assisted proofs for semilinear elliptic boundary value problems (Q849190) (← links)
- Existence and multiplicity proofs for semilinear elliptic boundary value problems by computer assistance (Q1012465) (← links)
- Computer-assisted existence proofs for two-point boundary value problems (Q1174351) (← links)
- Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof. (Q1416464) (← links)
- New solutions of the Gelfand problem (Q1614680) (← 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)
- Explicit hard bounding functions for boundary value problems for elliptic partial differential equations (Q2006566) (← links)
- A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems (Q2048421) (← links)
- Global dynamics in nonconservative nonlinear Schrödinger equations (Q2078873) (← 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)
- Norm bound computation for inverses of linear operators in Hilbert spaces (Q2634224) (← links)
- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS (Q2769532) (← links)
- A numerical approach to the proof of existence of solutions for elliptic problems II (Q3204851) (← links)
- A numerical approach to the proof of existence of solutions for elliptic problems (Q3469483) (← links)
- (Q3972691) (← links)
- Existence proofs in combination with error bounds for approximate solutions of weakly nonlinear second-order elliptic boundary value problems (Q3985896) (← links)
- Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits (Q4557492) (← links)
- Computer-assisted enclosure methods for elliptic differential equations (Q5929750) (← links)
- Numerical existence and uniqueness proof for solutions of nonlinear hyperbolic equations (Q5949506) (← links)
