DS17 - MS13-1: Lots of recent progress: computational theorems in dynamics(PDF) 2017-SIAM-DS17-MS13-1-011.pdf