1 Written by Federico Fernandez and Sven Verdoolaege.
3 See src/main.cpp for an example of how to use the library.
4 See examples/README for how to use the executable.
5 For more information, see
8 author = {Clauss, P. and Fern\'andez, F. J. and Gabervetsky, D. and Verdoolaege, S.},
9 title = {Symbolic Polynomial Maximization over Convex Sets and its Application to Memory Requirement Estimation},
10 institution = {Universit\'e Louis Pasteur},
14 type = {ICPS Research Report},
15 url = {http://icps.u-strasbg.fr/upload/icps-2006-173.pdf},