scientific article; zbMATH DE number 903765
From MaRDI portal
zbMath0849.65060MaRDI QIDQ4885379
Publication date: 11 November 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
bifurcation pointstwo-point boundary value problemssymmetry-breaking bifurcationsenclosures of solutionsSard-Smale Theorem
Nonlinear boundary value problems for ordinary differential equations (34B15) Bifurcation theory for ordinary differential equations (34C23) Interval and finite arithmetic (65G30) Numerical solution of boundary value problems involving ordinary differential equations (65L10)
Related Items
New solutions of the Gelfand problem, A symmetry-breaking bifurcation theorem and some related theorems applicable to maps having unbounded derivatives, Computer assisted proof to symmetry-breaking bifurcation phenomena in nonlinear vibration, Computer-assisted proofs for semilinear elliptic boundary value problems, Computer-assisted bifurcation diagram validation and applications in materials science, Computer-assisted enclosure methods for elliptic differential equations, Equilibrium validation in models for pattern formation based on Sobolev embeddings, Validated Saddle-Node Bifurcations and Applications to Lattice Dynamical Systems
