TY  - RPRT
TI  - A computer-assisted proof of symbolic dynamics in Hyperion's inner rotation model
AU  - Anna Gierzkiewicz
AU  - Piotr Zgliczyński
PY  - 2019
DO  - 10.1007/s10569-019-9910-8
UR  - https://arxiv.org/abs/1901.05499
ID  - 1901.05499
ER  -