Computer-assisted proofs of Hopf bubbles and degenerate Hopf bifurcations. - Kevin Church; Elena Queirolo (CoRR, 2022)