Simplex-type algorithm for second-order cone programmes via semi-infinite programming reformulation. (1st November 2016)