{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T15:20:31Z","timestamp":1782919231715,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,7,11]],"date-time":"2018-07-11T00:00:00Z","timestamp":1531267200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"PGMO","award":["GAMMA"],"award-info":[{"award-number":["GAMMA"]}]},{"DOI":"10.13039\/501100005304","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-17-CE40-0009"],"award-info":[{"award-number":["ANR-17-CE40-0009"]}],"id":[{"id":"10.13039\/501100005304","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,7,11]]},"DOI":"10.1145\/3208976.3209022","type":"proceedings-article","created":{"date-parts":[[2018,7,12]],"date-time":"2018-07-12T17:46:44Z","timestamp":1531417604000},"page":"191-198","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Exact Algorithms for Semidefinite Programs with Degenerate Feasible Set"],"prefix":"10.1145","author":[{"given":"Didier","family":"Henrion","sequence":"first","affiliation":[{"name":"CNRS LAAS - Universit\u00e9 de Toulouse & CTU, Toulouse, Prague, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Simone","family":"Naldi","sequence":"additional","affiliation":[{"name":"Univ. Limoges, XLIM, Limoges, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mohab","family":"Safey El Din","sequence":"additional","affiliation":[{"name":"Sorbonne Universit\u00e9, CNRS, INRIA & LIP6, \u00c9quipe PolSys, Paris, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2018,7,11]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"X. Allamigeon P. Benchimol S. Gaubert and M. Joswig. 2014. Long and winding central paths. arXiv preprint arXiv:1405.4161 (2014).  X. Allamigeon P. Benchimol S. Gaubert and M. Joswig. 2014. Long and winding central paths. arXiv preprint arXiv:1405.4161 (2014)."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2930889.2930935"},{"key":"e_1_3_2_1_3_1","volume-title":"MOSEK: High performance software for large-scale LP, QP, SOCP, SDP and MIP. __, March","author":"Andersen E.D.","year":"2013","unstructured":"E.D. Andersen and K.D. Andersen . 2013 . MOSEK: High performance software for large-scale LP, QP, SOCP, SDP and MIP. __, March (2013). E.D. Andersen and K.D. Andersen. 2013. MOSEK: High performance software for large-scale LP, QP, SOCP, SDP and MIP. __, March (2013)."},{"key":"e_1_3_2_1_4_1","volume-title":"Introduction to semidefinite, conic and polynomial optimization. Handbook on semidefinite, conic and polynomial optimization","author":"Anjos M.F.","unstructured":"M.F. Anjos and J-B. Lasserre . 2012. Introduction to semidefinite, conic and polynomial optimization. Handbook on semidefinite, conic and polynomial optimization . Springer , 1--22. M.F. Anjos and J-B. Lasserre. 2012. Introduction to semidefinite, conic and polynomial optimization. Handbook on semidefinite, conic and polynomial optimization. Springer, 1--22."},{"key":"e_1_3_2_1_5_1","volume-title":"Safey El Din","author":"Bank B.","year":"2014","unstructured":"B. Bank , M. Giusti , J. Heintz , and M. Safey El Din . 2014 . Intrinsic complexity estimates in polynomial optimization. Journal of Complexity 0 (2014), --. B. Bank, M. Giusti, J. Heintz, and M. Safey El Din. 2014. Intrinsic complexity estimates in polynomial optimization. Journal of Complexity 0 (2014), --."},{"key":"e_1_3_2_1_6_1","volume-title":"A new algorithm to find a point in every cell defined by a family of polynomials. Quantifier elimination and cylindrical algebraic decomposition","author":"Basu S.","unstructured":"S. Basu , R. Pollack , and M-F. Roy . 1998. A new algorithm to find a point in every cell defined by a family of polynomials. Quantifier elimination and cylindrical algebraic decomposition . Springer-Verlag . S. Basu, R. Pollack, and M-F. Roy. 1998. A new algorithm to find a point in every cell defined by a family of polynomials. Quantifier elimination and cylindrical algebraic decomposition. Springer-Verlag."},{"key":"e_1_3_2_1_7_1","volume-title":"Algorithms in real algebraic geometry","author":"Basu S.","unstructured":"S. Basu , R. Pollack , and M-F. Roy . 2006. Algorithms in real algebraic geometry ( second ed.). Algorithms and Computation in Mathematics, Vol. Vol. 10 . Springer-Verlag . S. Basu, R. Pollack, and M-F. Roy. 2006. Algorithms in real algebraic geometry (second ed.). Algorithms and Computation in Mathematics, Vol. Vol. 10. Springer-Verlag."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0894-0347-2012-00733-4"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"G. Blekherman P.A. Parrilo and R.R. Thomas. 2013. Semidefinite optimization and convex algebraic geometry. Vol. Vol. 13. Siam.   G. Blekherman P.A. Parrilo and R.R. Thomas. 2013. Semidefinite optimization and convex algebraic geometry. Vol. Vol. 13. Siam.","DOI":"10.1137\/1.9781611972290"},{"key":"e_1_3_2_1_10_1","volume-title":"Real algebraic geometry. Ergebnisse der Mathematik und ihrer Grenzgebiete","author":"Bochnak J.","unstructured":"J. Bochnak , M. Coste , and M-F. Roy . 1998. Real algebraic geometry. Ergebnisse der Mathematik und ihrer Grenzgebiete , Vol. Vol. 36 . Springer-Verlag . J. Bochnak, M. Coste, and M-F. Roy. 1998. Real algebraic geometry. Ergebnisse der Mathematik und ihrer Grenzgebiete, Vol. Vol. 36. Springer-Verlag."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"S. Boyd L. El Ghaoui E. Feron and V. Balakrishnan. 1994. Linear matrix inequalities in system and control theory. Vol. Vol. 15. Siam.  S. Boyd L. El Ghaoui E. Feron and V. Balakrishnan. 1994. Linear matrix inequalities in system and control theory. Vol. Vol. 15. Siam.","DOI":"10.1137\/1.9781611970777"},{"key":"e_1_3_2_1_12_1","volume-title":"Bifurcations and catastrophes: geometry of solutions to nonlinear problems","author":"Demazure M.","unstructured":"M. Demazure . 2013. Bifurcations and catastrophes: geometry of solutions to nonlinear problems . Springer Science & Business Media . M. Demazure. 2013. Bifurcations and catastrophes: geometry of solutions to nonlinear problems. Springer Science & Business Media."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcom.2000.0571"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465506.2465949"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1137\/S1052623401390793"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2015.06.010"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1137\/15M1036543"},{"key":"e_1_3_2_1_18_1","volume-title":"Safey El Din","author":"Henrion D.","year":"2017","unstructured":"D. Henrion , S. Naldi , and M. Safey El Din . 2017 . SPECTRA: a Maple library for solving linear matrix inequalities in exact arithmetic. Optimization Methods and Software ( 2017). D. Henrion, S. Naldi, and M. Safey El Din. 2017. SPECTRA: a Maple library for solving linear matrix inequalities in exact arithmetic. Optimization Methods and Software (2017)."},{"key":"e_1_3_2_1_19_1","unstructured":"A. Herman H. Hong and E. Tsigaridas. 2017. Improving Root Separation Bounds. Journal of Symbolic Computation (2017). https:\/\/hal.inria.fr\/hal-01456686 (to appear).  A. Herman H. Hong and E. Tsigaridas. 2017. Improving Root Separation Bounds. Journal of Symbolic Computation (2017). https:\/\/hal.inria.fr\/hal-01456686 (to appear)."},{"key":"e_1_3_2_1_20_1","volume-title":"ARITH 2017","author":"Joldes M.","year":"2017","unstructured":"M. Joldes , J-M. Muller , and V. Popescu . 2017. Implementation and performance evaluation of an extended precision floating-point arithmetic library for high-accuracy semidefinite programming . ARITH 2017 , London, UK, July 24--26 2017 (2017). M. Joldes, J-M. Muller, and V. Popescu. 2017. Implementation and performance evaluation of an extended precision floating-point arithmetic library for high-accuracy semidefinite programming. ARITH 2017, London, UK, July 24--26 2017 (2017)."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1137\/S1052623400366802"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2930889.2930925"},{"key":"e_1_3_2_1_23_1","volume-title":"Studies in Applied Mathematics","volume":"13","author":"Nesterov Y.","unstructured":"Y. Nesterov and A. Nemirovsky . 1994. Interior-point polynomial algorithms in convex programming . Studies in Applied Mathematics , Vol. Vol. 13 . SIAM, Philadelphia. Y. Nesterov and A. Nemirovsky. 1994. Interior-point polynomial algorithms in convex programming. Studies in Applied Mathematics, Vol. Vol. 13. SIAM, Philadelphia."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-008-0253-6"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-003-0387-5"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/254473.254508"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcom.2000.0563"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11786-007-0003-9"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/860854.860901"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2996450"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2017.08.001"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1137\/090772459"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.4171\/JEMS\/620"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00200-002-0109-x"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1080\/10556789908805766","article-title":"Using SeDuMi 1.02, a MATLAB toolbox for optimization over symmetric cones","volume":"11","author":"Sturm J. F.","year":"1999","unstructured":"J. F. Sturm . 1999 . Using SeDuMi 1.02, a MATLAB toolbox for optimization over symmetric cones . Optim. Methods Softw. Vol. 11\/12 , 1 -- 4 (1999), 625--653. CODENOMSOE2 J. F. Sturm. 1999. Using SeDuMi 1.02, a MATLAB toolbox for optimization over symmetric cones. Optim. Methods Softw. Vol. 11\/12, 1--4 (1999), 625--653. CODENOMSOE2","journal-title":"Optim. Methods Softw."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"crossref","unstructured":"K-C. Toh M.J. Todd and R. T\u00fct\u00fcnc\u00fc. 1999. SDPT3 -- a MATLAB software package for semidefinite programming version 1.3. Optimization methods and software. Vol. 11 1--4 (1999) 545--581.  K-C. Toh M.J. Todd and R. T\u00fct\u00fcnc\u00fc. 1999. SDPT3 -- a MATLAB software package for semidefinite programming version 1.3. Optimization methods and software. Vol. 11 1--4 (1999) 545--581.","DOI":"10.1080\/10556789908805762"}],"event":{"name":"ISSAC '18: International Symposium on Symbolic and Algebraic Computation","location":"New York NY USA","acronym":"ISSAC '18","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"]},"container-title":["Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3208976.3209022","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3208976.3209022","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:08:49Z","timestamp":1750208929000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3208976.3209022"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7,11]]},"references-count":36,"alternative-id":["10.1145\/3208976.3209022","10.1145\/3208976"],"URL":"https:\/\/doi.org\/10.1145\/3208976.3209022","relation":{},"subject":[],"published":{"date-parts":[[2018,7,11]]},"assertion":[{"value":"2018-07-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}