Publication:4885379
From MaRDI portal
zbMath0849.65060MaRDI QIDQ4885379
Publication date: 11 November 1996
bifurcation points; two-point boundary value problems; symmetry-breaking bifurcations; enclosures of solutions; Sard-Smale Theorem
34B15: Nonlinear boundary value problems for ordinary differential equations
34C23: Bifurcation theory for ordinary differential equations
65G30: Interval and finite arithmetic
65L10: Numerical solution of boundary value problems involving ordinary differential equations
Related Items
Computer-assisted enclosure methods for elliptic differential equations, 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