TY  - RPRT
TI  - Certification of Real Inequalities -- Templates and Sums of Squares
AU  - Xavier Allamigeon
AU  - Stéphane Gaubert
AU  - Victor Magron
AU  - Benjamin Werner
PY  - 2014
UR  - https://arxiv.org/abs/1403.5899
ID  - 1403.5899
ER  -