Speaker Index
Program
HK Friday July 12 - 13:45
Plenary Talk 10
13:45 - 14:45
- Jan Bouwe Van den Berg -
Computer-assisted theorems in dynamics
[Abstract]