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]
@article{MagronAGW15-0,
title = {Certification of real inequalities: templates and sums of squares},
author = {Victor Magron and Xavier Allamigeon and Stéphane Gaubert and Benjamin Werner},
year = {2015},
doi = {10.1007/s10107-014-0834-5},
url = {http://dx.doi.org/10.1007/s10107-014-0834-5},
researchr = {https://researchr.org/publication/MagronAGW15-0},
cites = {0},
citedby = {0},
journal = {Math. Program.},
volume = {151},
number = {2},
pages = {477-506},
}