In this paper, we will study optimality conditions of semi-infinite programs and generalized semi-infinite programs, for which the gradient objective function when evaluated at any feasible direction for the linearized constraint set is non-negative. We consider three types of penalty functions for semi-infinite program and investigate the relationship among the exactness of these penalty funct...

This paper makes a contribution to differential elimination and more precisely to the problem of computing a representation of the radical differential ideal generated by a system of differential equations (ordinary or partial). The approach we use here involves characteristic set techniques;‡ these were introduced by J. F. Ritt, the founder of differential algebra. The basic idea is to write t...