How to prove things about them, in an algorithmic, certified and ... Nullstellensatz, LP duality. ... Convexity, hence a duality structure: On the primal, ...
Assuming the 'unique games conjecture', this algorithm is the best possible! ... Useful to know geometry and algebra. Semidefinite Programming. What is ...