TY  - RPRT
TI  - Rigorous verification of Hopf bifurcations via desingularization and continuation
AU  - Jan Bouwe van den Berg
AU  - Jean-Philippe Lessard
AU  - Elena Queirolo
PY  - 2020
UR  - https://arxiv.org/abs/2006.13373
ID  - 2006.13373
ER  -