1. Albu, T.: The irrationality of sums of radicals via cogalois theory. Analele stiintifice ale Universitatii Ovidius Constanta 19(2), 15–36 (2011)
2. Alizadeh, F.: Interior point methods in semidefinite programming with applications to combinatorial optimization. SIAM J. Optim. 5, 13–51 (1995)
3. Andronov, V., Belousov, E., Shironin, V.M.: On solvability of the problem of polynomial programming (in russian). Izvestija Akadem. Nauk SSSR, Tekhnicheskaja Kibernetika [Translation appeared in News of the Academy of Science of USSR, Dept. of Technical Sciences, Technical Cybernetics] 4, 194–197 (1982)
4. Barvinok, A.: Feasibility testing for systems of real quadratic equations. Disc. Comput. Geom. 10, 1–13 (1993)
5. Basu, S.: Algorithms in real algebraic geometry: a survey (2014)