Alexandre Maréchal, Alexis Fouilhé, Tim King 0001, David Monniaux, Michaël Périn
Polyhedral Approximation of Multivariate Polynomials Using Handelman's Theorem
VMCAI, 2016.
@inproceedings{VMCAI-2016-MarechalFKMP,
author = "Alexandre Maréchal and Alexis Fouilhé and Tim King 0001 and David Monniaux and Michaël Périn",
booktitle = "{Proceedings of the 17th International Conference on Verification, Model Checking and Abstract Interpretation}",
doi = "10.1007/978-3-662-49122-5_8",
isbn = "978-3-662-49121-8",
pages = "166--184",
publisher = "{Springer}",
title = "{Polyhedral Approximation of Multivariate Polynomials Using Handelman's Theorem}",
year = 2016,
}
Tags: