scientific article
From MaRDI portal
Publication:3831934
zbMath0676.65039MaRDI QIDQ3831934
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
On computer-assisted proving the existence of periodic and bounded orbits ⋮ Validated numerics for continuation and bifurcation of connecting orbits of maps ⋮ A KAM theory for conformally symplectic systems: efficient algorithms and their validation ⋮ Solving nonlinear parabolic problems with result verification. I: One- space dimensional case