Symmetry groups, semidefinite programs, and sums of squares 论文

2004Journal of Pure and Applied Algebra引用 364
Advanced Optimization Algorithms ResearchFormal Methods in VerificationPolynomial and algebraic computation