Describir: Convergencia y optimización global en programación no lineal. Teoría y algoritmos