High-Order Computer-Assisted Estimates Of Topological Entropy. by Johannes Grote