  This paper proposes an accelerated proximal point method for maximally
monotone operators. The proof is computer-assisted via the performance
estimation problem approach. The proximal point method includes various
well-known convex optimization methods, such as the proximal method of
multipliers and the alternating direction method of multipliers, and thus the
proposed acceleration has wide applications. Numerical experiments are
presented to demonstrate the accelerating behaviors.
