Pages that link to "Item:Q1900760"
From MaRDI portal
The following pages link to Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problems (Q1900760):
Displaying 35 items.
- Worst case error bounds for the solution of uncertain Poisson equations with mixed boundary conditions (Q269358) (← links)
- Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions (Q285445) (← links)
- An approach to the numerical verification of solutions for variational inequalities using Schauder fixed point theory (Q481617) (← links)
- Computer-assisted equilibrium validation for the diblock copolymer model (Q501487) (← links)
- A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration (Q671009) (← links)
- A numerical verification method for two-coupled elliptic partial differential equations (Q849177) (← links)
- Computer-assisted proofs for semilinear elliptic boundary value problems (Q849190) (← links)
- Numerical method for verifying the existence and local uniqueness of a double turning point for a radially symmetric solution of the perturbed Gelfand equation (Q875360) (← links)
- Certified error bounds for uncertain elliptic equations (Q930711) (← links)
- A numerical approach to the proof of existence of solutions for some generalized obstacle problems (Q984392) (← links)
- Numerical verification of solutions for obstacle problems. (Q1421206) (← links)
- Computational proofs of the existence of solutions to elasto-plastic torsion problems (Q1585831) (← links)
- Rigorous continuation of bifurcation points in the diblock copolymer equation (Q1654464) (← links)
- Numerical method with guaranteed accuracy of a double turning point for a radially symmetric solution of the perturbed Gelfand equation (Q1877202) (← links)
- Equilibrium validation in models for pattern formation based on Sobolev embeddings (Q2026625) (← 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)
- Orbital stability investigations for travelling waves in a nonlinearly supported beam (Q2327416) (← links)
- Rigorous validation of stochastic transition paths (Q2334873) (← links)
- Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation (Q2431105) (← 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)
- A rigorous implicit \(C^1\) Chebyshev integrator for delay equations (Q2665531) (← links)
- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS (Q2769532) (← links)
- Validated Saddle-Node Bifurcations and Applications to Lattice Dynamical Systems (Q2826307) (← 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)
- Continuation of solutions and studying delay differential equations via rigorous numerics (Q4557493) (← links)
- Computer-assisted bifurcation diagram validation and applications in materials science (Q4557494) (← links)
- VERIFIED COMPUTATIONS OF SOLUTIONS FOR SOME UNILATERAL BOUNDARY VALUE PROBLEMS FOR SECOND ORDER EQUATIONS (Q5020330) (← 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)
- Cyclic symmetry induced pitchfork bifurcations in the diblock copolymer model (Q6139059) (← links)
