The following pages link to (Q4885379):
Displaying 8 items.
- Computer-assisted proofs for semilinear elliptic boundary value problems (Q849190) (← links)
- New solutions of the Gelfand problem (Q1614680) (← links)
- A symmetry-breaking bifurcation theorem and some related theorems applicable to maps having unbounded derivatives (Q1880945) (← links)
- Computer assisted proof to symmetry-breaking bifurcation phenomena in nonlinear vibration (Q1880946) (← links)
- Equilibrium validation in models for pattern formation based on Sobolev embeddings (Q2026625) (← links)
- Validated Saddle-Node Bifurcations and Applications to Lattice Dynamical Systems (Q2826307) (← links)
- Computer-assisted bifurcation diagram validation and applications in materials science (Q4557494) (← links)
- Computer-assisted enclosure methods for elliptic differential equations (Q5929750) (← links)
