Dorina Jibetean

Learn More
We consider the problem of minimizing a polynomial function on R, known to be hard even for degree 4 polynomials. Therefore approximation algorithms are of interest. Lasserre [15] and Parrilo [23] have proposed approximating the minimum of the original problem using a hierarchy of lower bounds obtained via semidefinite programming relaxations. We propose(More)
The problem of minimizing a polynomial function in several variables over R n is considered and an algorithm is given. When the polynomial has a minimum the algorithm returns the global minimum and nds at least one point in every connected component of the set of minimizers. A characterization of such points is given. When the polynomial does not have a(More)
We consider the problem of global minimization of rational functions on IR (unconstrained case), and on an open, connected, semi-algebraic subset of IR, or the (partial) closure of such a set (constrained case). We show that in the univariate case (n = 1), these problems have exact reformulations as semidefinite programming (SDP) problems, by using(More)
A variety of problems in mathematical calculus can be solved by recursively applying a finite number of rules. Often, a generic solving strategy can be extracted and an interactive exercise system that emulates a tutor can be implemented. In this paper we show how software developed by us can be used to realize this interactivity. In particular, an(More)
We consider here the problem of minimizing a polynomial function on Rn. The problem is known to be hard even for degree 4. Therefore approximation algorithms are of interest. Lasserre [11] and Parrilo [16] have proposed approximating the minimum of the original problem using a hierarchy of lower bounds obtained via semidefinite programming relaxations. We(More)
The paper deals with unconstrained global minimization of rational functions. A necessary condition is given for the function to have a nite innmum. In case the condition is satissed, the problem is shown to be equivalent to a speciic constrained polynomial optimization problem. In this paper, we solve a relaxation of the latter formulation using(More)
This section deals with our work on interactive mathematical documents that make use of the World Wide Web. These documents take input from various sources, users, and mathematical services. Communication between these different entities can be realized using OpenMath. But, such communication and the interactivity inside the mathematical document take place(More)
The problem of minimizing a polynomial function in several variables over Rn is considered and an algorithm is given. When the polynomial has a minimum the algorithm returns the global minimum and nds at least one point in every connected component of the set of minimizers. A characterization of such points is given. When the polynomial does not have a(More)