Xavier Allamigeon, Stephane Gaubert, Victor Magron, Benjamin Werner. Certification of inequalities involving transcendental functions: Combining SDP and max-plus approximation. In European Control Conference, ECC 2013, Zurich, Switzerland, July 17-19, 2013. pages 2244-2250, IEEE, 2013. [doi]
@inproceedings{AllamigeonGMW13-0, title = {Certification of inequalities involving transcendental functions: Combining SDP and max-plus approximation}, author = {Xavier Allamigeon and Stephane Gaubert and Victor Magron and Benjamin Werner}, year = {2013}, url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6669514}, researchr = {https://researchr.org/publication/AllamigeonGMW13-0}, cites = {0}, citedby = {0}, pages = {2244-2250}, booktitle = {European Control Conference, ECC 2013, Zurich, Switzerland, July 17-19, 2013}, publisher = {IEEE}, }