TY  - RPRT
TI  - Certification of Bounds of Non-linear Functions: the Templates Method
AU  - Xavier Allamigeon
AU  - Stéphane Gaubert
AU  - Victor Magron
AU  - Benjamin Werner
PY  - 2013
DO  - 10.1007/978-3-642-39320-4_4
UR  - https://arxiv.org/abs/1307.3231
ID  - 1307.3231
ER  -