The following pages link to (Q3831934):
Displayed 4 items.
- Solving nonlinear parabolic problems with result verification. I: One- space dimensional case (Q1184131) (← links)
- On computer-assisted proving the existence of periodic and bounded orbits (Q2363617) (← links)
- Validated numerics for continuation and bifurcation of connecting orbits of maps (Q2423701) (← links)
- A KAM theory for conformally symplectic systems: efficient algorithms and their validation (Q2435185) (← links)