Sign in

Certification of real inequalities: templates and sums of squares.

Victor MagronXavier AllamigeonStéphane GaubertBenjamin Werner
Published in: Math. Program. (2015)
Keyphrases
  • real life
  • sufficient conditions
  • data mining
  • information systems
  • image processing