existence of minimizers; Fermat theorem; Frank-Wolfe theorem; Fritz John optimality conditions; Karush-Kuhn-Tucker optimality conditions; Mangasarian-Fromovitz constraint qualification; Newton polyhedron; polynomial programming 