TY - JOUR AU - Froyland, Gary AU - Junge, Oliver AU - Ochs, Gunter ID - 16601 JF - Physica D: Nonlinear Phenomena SN - 0167-2789 TI - Rigorous computation of topological entropy with respect to a finite partition ER -