Polyhedral Approximation of Multivariate Polynomials Using Handelman's Theorem

Alexandre Maréchal, Alexis Fouilhé, Tim King, David Monniaux, Michaël Périn. Polyhedral Approximation of Multivariate Polynomials Using Handelman's Theorem. In Barbara Jobstmann, K. Rustan M. Leino, editors, Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings. Volume 9583 of Lecture Notes in Computer Science, pages 166-184, Springer, 2016. [doi]

Abstract

Abstract is missing.