An adaptive discretization method solving semi-infinite optimization problems with quadratic rate of convergence. (3rd August 2022)