Certification of real inequalities: templates and sums of squares

Victor Magron, Xavier Allamigeon, Stéphane Gaubert, Benjamin Werner. Certification of real inequalities: templates and sums of squares. Math. Program., 151(2):477-506, 2015. [doi]

Authors

Victor Magron

This author has not been identified. Look up 'Victor Magron' in Google

Xavier Allamigeon

This author has not been identified. Look up 'Xavier Allamigeon' in Google

Stéphane Gaubert

This author has not been identified. Look up 'Stéphane Gaubert' in Google

Benjamin Werner

This author has not been identified. Look up 'Benjamin Werner' in Google