Introduction

Convergence Guarantees

Implementations