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]
No references recorded for this publication.
No citations of this publication recorded.