Subcategories of Operations research, mathematical programming