Rigorous bounds in computing dynamical invariants

2017-07-03