%0 Journal Article %1 journals/mp/MagronAGW15 %A Magron, Victor %A Allamigeon, Xavier %A Gaubert, Stéphane %A Werner, Benjamin %D 2015 %J Math. Program. %K %N 2 %P 477-506 %T Certification of real inequalities: templates and sums of squares. %U http://dblp.uni-trier.de/db/journals/mp/mp151.html#MagronAGW15 %V 151

@article{journals/mp/MagronAGW15, added-at = {2023-12-13T01:57:34.000+0100}, author = {Magron, Victor and Allamigeon, Xavier and Gaubert, Stéphane and Werner, Benjamin}, biburl = {https://www.bibsonomy.org/bibtex/2ebb2baca4fde1acd46f047eda0e7a7da/admin}, ee = {http://dx.doi.org/10.1007/s10107-014-0834-5}, interhash = {78dffa7c56816273308af101297d1b2c}, intrahash = {ebb2baca4fde1acd46f047eda0e7a7da}, journal = {Math. Program.}, keywords = {}, number = 2, pages = {477-506}, timestamp = {2023-12-13T01:57:34.000+0100}, title = {Certification of real inequalities: templates and sums of squares.}, url = {http://dblp.uni-trier.de/db/journals/mp/mp151.html#MagronAGW15}, volume = 151, year = 2015 }