TY - RPRT TI - Rigorous validation of a Hopf bifurcation in the Kuramoto-Sivashinsky PDE AU - Jan Bouwe van den Berg AU - Elena Queirolo PY - 2020 UR - https://arxiv.org/abs/2009.13597 ID - 2009.13597 ER -