|
|||||
|
|
Certification of real inequalities: templates and sums of squares |
|
| Authors: | Victor Magron Xavier Allamigeon Stéphane Gaubert Benjamin Werner |
| Institution: | 1. Circuits and Systems Group, Department of Electrical and Electronic Engineering, Imperial College London, South Kensington Campus, London, UK 2. INRIA and CMAP, école Polytechnique, Palaiseau, France 3. LIX, école Polytechnique, Palaiseau, France |
| Abstract: | |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |