Representation theory transforms abstract algebra groups into things like simpler matrices. The field’s founder left a list of 43 problems for others to study, iterate on, and prove. One ...
Abstract: In the last two decades a link has been established ... algorithm design and surveys the state-of-the-art for two of the most important semi-algebraic proof systems: Sherali-Adams and Sum-of ...