1. H. Anai, P.A. Parrilo, Convex quantifier elimination for semidefinite programming, in: Proceedings of the International Workshop on Computer Algebra in Scientific Computing, CASC 2003, 2003
2. C. Bachoc, F. Vallentin, New upper bounds for kissing numbers from semidefinite programming. arXiv:math/0608426v4[math.MG], 2006
3. A C library for semidefinite programming;Borchers;Optim. Meth. Software,1999
4. Facial reduction for a cone-convex programming problem;Borwein;J. Aust. Math. Soc. Ser. A,1980
5. Convex Optimization;Boyd,2004