Certification of real inequalities: templates and sums of squares.

Victor Magron Xavier Allamigeon Stéphane Gaubert Benjamin Werner

Published in: Math. Program. (2015)

Keyphrases

real life
sufficient conditions
data mining
information systems
image processing