TY - RPRT TI - A computer-assisted proof of the existence of Smale horseshoe for the folded-towel map AU - Anna Gierzkiewicz PY - 2021 DO - 10.1016/j.cnsns.2020.105680 UR - https://arxiv.org/abs/2101.10416 ID - 2101.10416 ER -