Augmented Lagrangians and Applications of the Proximal Point Algorithm in Convex Programming | Synapse