Gradient Descent Converges to Minimizers
Differentiable dynamical systems