In mathematical optimization, first-order methods are of particular interest due to its applicability and scalability to large-scale problems. In order to solve real-world problems, these methods require certain guarantees that must be mathematically proven and certified. In this talk, we introduce the first-order optimization methods and show how they can be compared and be mathematically analyzed.