Text this: A discretization algorithm for nonsmooth convex semi-infinite programming problems based on bundle methods.