High-order computer-assisted estimates of topological entropy

Full text