2 papers
math.OC2024
Where's Ben Nevis? A 2D optimisation benchmark with 957,174 local optima based on Great Britain terrain data
Yuhang Wei, Michael Clerx, Gary R. Mirams
We present a novel optimisation benchmark based on the real landscape of Great Britain (GB). The elevation data from the UK Ordnance Survey Terrain 50 dataset is slightly modified…
math.AT2024
Synthetic Homotopy Theory
Yuhang Wei
The goal of this dissertation is to present results from synthetic homotopy theory based on homotopy type theory (HoTT). After an introduction to Martin-Löf's dependent type theor…