TY  - RPRT
TI  - Certification of inequalities involving transcendental functions: combining SDP and max-plus approximation
AU  - Xavier Allamigeon
AU  - Stéphane Gaubert
AU  - Victor Magron
AU  - Benjamin Werner
PY  - 2013
UR  - https://arxiv.org/abs/1307.7002
ID  - 1307.7002
ER  -