Checking consistency of algebraic inequalities by prolongation and linear relaxation

Time and Location:

May 11, 2018 at 3PM; Location TBA

Speaker:

Hoon Hong, NC State University