共 50 条
- [41] Solving Euclidean Distance Matrix Completion Problems Via Semidefinite Programming Computational Optimization and Applications, 1999, 12 : 13 - 30
- [46] Modeling and solving of truss topology optimization problems based on semidefinite programming Harbin Gongye Daxue Xuebao/Journal of Harbin Institute of Technology, 2019, 51 (10): : 11 - 21
- [50] Real quantifier elimination in practice ALGORITHMIC ALGEBRA AND NUMBER THEORY, 1998, : 221 - 247