Pages that link to "Item:Q1880946"
From MaRDI portal
The following pages link to Computer assisted proof to symmetry-breaking bifurcation phenomena in nonlinear vibration (Q1880946):
Displaying 7 items.
- Improved convergence theorems of Newton's method designed for the numerical verification for solutions of differential equations (Q861902) (← links)
- Pattern formations in heat convection problems (Q1047076) (← links)
- A symmetry-breaking bifurcation theorem and some related theorems applicable to maps having unbounded derivatives (Q1880945) (← links)
- Error analysis of Galerkin's method for semilinear equations (Q1952818) (← links)
- Computer-assisted proofs of the existence of a symmetry-breaking bifurcation point for the Kolmogorov problem (Q2029666) (← links)
- Codimension-\(m\) bifurcation theorems applicable to the numerical verification methods (Q2248676) (← links)
- The Hopf bifurcation theorem in Hilbert spaces for abstract semilinear equations (Q6174780) (← links)