TY - RPRT TI - Provably convergent implementations of the subdivision algorithm for the computation of invariant objects AU - Janosch Rieger PY - 2017 UR - https://arxiv.org/abs/1708.03980 ID - 1708.03980 ER -