Describir: Convex Analysis and Global Optimization