Henrion, Didier; Naldi, Simone; Safey El Din, Mohab Exact algorithms for semidefinite programs with degenerate feasible set. (English) Zbl 1460.90128 J. Symb. Comput. 104, 942-959 (2021). MSC: 90C22 68W30 90C51 90C05 90C60 13P15 14P10 PDFBibTeX XMLCite \textit{D. Henrion} et al., J. Symb. Comput. 104, 942--959 (2021; Zbl 1460.90128) Full Text: DOI arXiv
Jeronimo, Gabriela; Perrucci, Daniel A probabilistic symbolic algorithm to find the minimum of a polynomial function on a basic closed semialgebraic set. (English) Zbl 1328.90138 Discrete Comput. Geom. 52, No. 2, 260-277 (2014). Reviewer: Gabriela Cristescu (Arad) MSC: 90C30 14P10 90C60 68W30 14-04 14Q99 PDFBibTeX XMLCite \textit{G. Jeronimo} and \textit{D. Perrucci}, Discrete Comput. Geom. 52, No. 2, 260--277 (2014; Zbl 1328.90138) Full Text: DOI arXiv
Bank, Bernd; Giusti, Marc; Heintz, Joos; Safey El Din, Mohab Intrinsic complexity estimates in polynomial optimization. (English) Zbl 1302.65296 J. Complexity 30, No. 4, 430-443 (2014). MSC: 65Y20 68Q25 68W30 90C60 13P25 14P10 14Q15 PDFBibTeX XMLCite \textit{B. Bank} et al., J. Complexity 30, No. 4, 430--443 (2014; Zbl 1302.65296) Full Text: DOI arXiv