看片视频

Rigorously verified computing, infinite dimensional dynamical systems, partial differential equations, delay differential equations, ordinary differential equations, topological methods, fixed point methods, functional analytic methods, approximation theory, spectral methods, computer-assisted proofs, bifurcation theory, invariant manifolds, Morse-Conley-Floer homology.