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]
@inproceedings{MarechalFKMP16,
title = {Polyhedral Approximation of Multivariate Polynomials Using Handelman's Theorem},
author = {Alexandre Maréchal and Alexis Fouilhé and Tim King and David Monniaux and Michaël Périn},
year = {2016},
doi = {10.1007/978-3-662-49122-5_8},
url = {http://dx.doi.org/10.1007/978-3-662-49122-5_8},
researchr = {https://researchr.org/publication/MarechalFKMP16},
cites = {0},
citedby = {0},
pages = {166-184},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings},
editor = {Barbara Jobstmann and K. Rustan M. Leino},
volume = {9583},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-662-49121-8},
}