TY - RPRT TI - A probabilistic symbolic algorithm to find the minimum of a polynomial function on a basic closed semialgebraic set AU - Gabriela Jeronimo AU - Daniel Perrucci PY - 2013 UR - https://arxiv.org/abs/1304.5558 ID - 1304.5558 ER -