机译:Rigorous validation of a Hopf bifurcation in the Kuramoto-Sivashinsky PDE
Vrije Univ Amsterdam, Dept Math, De Boelelaan 1111, NL-1081 HV Amsterdam, Netherlands;
Tech Univ Munich, Dept Math, D-85748 Garching, Germany;
Validated numerics; Hpof bifurcations; PDEs; Nonlinear dynamics;