Polyhedral Approximation of Multivariate Polynomials Using Handelman's Theorem - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Alexandre Maréchal' in GoogleThis author has not been identified. Look up 'Alexis Fouilhé' in GoogleThis author has not been identified. Look up 'Tim King' in GoogleThis author has not been identified. Look up 'David Monniaux' in GoogleThis author has not been identified. Look up 'Michaël Périn' in Google

runs on WebDSL