Sign in

Certification of inequalities involving transcendental functions: Combining SDP and max-plus approximation.

Xavier AllamigeonStephane GaubertVictor MagronBenjamin Werner
Published in: ECC (2013)
Keyphrases
  • continuous functions
  • error bounds
  • sufficient conditions
  • basis functions
  • approximation error
  • special case
  • linear programming
  • closed form
  • third party
  • linear inequalities