TY - RPRT TI - Chaos in the border-collision normal form: A computer-assisted proof using induced maps and invariant expanding cones AU - P. A. Glendinning AU - D. J. W. Simpson PY - 2021 UR - https://arxiv.org/abs/2108.05999 ID - 2108.05999 ER -