@ARTICLE{magron2014mpb,
author={Victor Magron and Xavier Allamigeon and St{\'e}phane Gaubert and Benjamin Werner},
year={2014},
title={Certification of real inequalities: templates and sums of squares},
journal={Mathematical Programming Ser.\ B},
note={Published on line},
doi={10.1007/s10107-014-0834-5},
}