Analysis of Optimization Algorithms via Sum-of-Squares. - Sandra S. Y. Tan; Antonios Varvitsiotis; Vincent Y. F. Tan (J. Optim. Theory Appl., 2021)