Provably convergent implementations of the subdivision algorithm for the computation of invariant objects

Janosch Rieger. Provably convergent implementations of the subdivision algorithm for the computation of invariant objects. Numerische Mathematik, 142(1):149-165, 2019. [doi]

Abstract

Abstract is missing.