{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T01:59:20Z","timestamp":1760061560422,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,7,20]],"date-time":"2016-07-20T00:00:00Z","timestamp":1468972800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,7,20]]},"DOI":"10.1145\/2930889.2930925","type":"proceedings-article","created":{"date-parts":[[2016,7,19]],"date-time":"2016-07-19T11:59:33Z","timestamp":1468929573000},"page":"357-364","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Solving Rank-Constrained Semidefinite Programs in Exact Arithmetic"],"prefix":"10.1145","author":[{"given":"Simone","family":"Naldi","sequence":"first","affiliation":[{"name":"Fields Institute for Research in Mathematical Sciences, Toronto, ON, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,7,20]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Int. Series in Operational Research and Management Science. V.166","author":"Anjos M. F.","year":"2012","unstructured":"M. F. Anjos , J. B. Lasserre (editors). Handbook of semidefinite, conic and polynomial optimization . Int. Series in Operational Research and Management Science. V.166 , Springer , NY , 2012 . M. F. Anjos, J. B. Lasserre (editors). Handbook of semidefinite, conic and polynomial optimization. Int. Series in Operational Research and Management Science. V.166, Springer, NY, 2012."},{"key":"e_1_3_2_1_2_1","volume-title":"Linear matrix inequalities in system and control theory. Studies in Applied Mathematics 15","author":"Boyd S.","year":"1994","unstructured":"S. Boyd , L. El Ghaoui , E. Feron and V. Balakrishnan . Linear matrix inequalities in system and control theory. Studies in Applied Mathematics 15 . SIAM , Philadelphia , 1994 . S. Boyd, L. El Ghaoui, E. Feron and V. Balakrishnan. Linear matrix inequalities in system and control theory. Studies in Applied Mathematics 15. SIAM, Philadelphia, 1994."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1137\/1038003"},{"key":"e_1_3_2_1_4_1","volume-title":"Commutative algebra with a view toward algebraic geometry","author":"Eisenbud D.","year":"1995","unstructured":"D. Eisenbud . Commutative algebra with a view toward algebraic geometry . Springer-Verlag , New York , 1995 . D. Eisenbud. Commutative algebra with a view toward algebraic geometry. Springer-Verlag, New York, 1995."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/1888390.1888412"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993886.1993908"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1993.1051"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1837934.1837984"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1137\/130931308"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/227683.227684"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-97881-4"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2015.06.010"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2755996.2756667"},{"key":"e_1_3_2_1_14_1","volume-title":"June","author":"Henrion D.","year":"2015","unstructured":"D. Henrion , S. Naldi , M. Safey El Din. Real root finding for low rank linear matrices. hal-01159210,v.1 , June 2015 . D. Henrion, S. Naldi, M. Safey El Din. Real root finding for low rank linear matrices. hal-01159210,v.1, June 2015."},{"key":"e_1_3_2_1_15_1","volume-title":"August","author":"Henrion D.","year":"2015","unstructured":"D. Henrion , S. Naldi , M. Safey El Din. Exact algorithms for linear matrix inequalities.texttthal-01184320,v.1 , August 2015 . D. Henrion, S. Naldi, M. Safey El Din. Exact algorithms for linear matrix inequalities.texttthal-01184320,v.1, August 2015."},{"key":"e_1_3_2_1_16_1","volume-title":"Safey El Din. spectra: Semidefinite Programming solved Exactly with Computation Tools of Real Algebra. Software documentation","author":"Henrion D.","year":"2015","unstructured":"D. Henrion , S. Naldi , M. Safey El Din. spectra: Semidefinite Programming solved Exactly with Computation Tools of Real Algebra. Software documentation , 2015 . Web page: http:\/\/homepages.laas.fr\/snaldi\/software.html. D. Henrion, S. Naldi, M. Safey El Din. spectra: Semidefinite Programming solved Exactly with Computation Tools of Real Algebra. Software documentation, 2015. Web page: http:\/\/homepages.laas.fr\/snaldi\/software.html."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10208-008-9024-2"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390768.1390792"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008203903341"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1137\/S1052623400366802"},{"issue":"69","key":"e_1_3_2_1_21_1","first-page":"120","article-title":"Complexity of the positive semidefinite matrix completion problem with a rank constraint. Discrete Geometry and Optimization. In Fields Institute Communications,K. Bezdek, A. Deza and Y. Ye (eds)","volume":"105","author":"Laurent M.","year":"2013","unstructured":"M. Laurent , M. E. Nagy , A. Varvitsiotis . Complexity of the positive semidefinite matrix completion problem with a rank constraint. Discrete Geometry and Optimization. In Fields Institute Communications,K. Bezdek, A. Deza and Y. Ye (eds) , Springer , ( 69 ) 105 -- 120 , 2013 . M. Laurent, M. E. Nagy, A. Varvitsiotis. Complexity of the positive semidefinite matrix completion problem with a rank constraint. Discrete Geometry and Optimization. In Fields Institute Communications,K. Bezdek, A. Deza and Y. Ye (eds), Springer, (69)105--120, 2013.","journal-title":"Springer"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","DOI":"10.1137\/1.9781611970791","volume-title":"Interior-point polynomial algorithms in convex programming. Studies in Applied Mathematics 13","author":"Nesterov Y.","year":"1994","unstructured":"Y. Nesterov and A. Nemirovsky . Interior-point polynomial algorithms in convex programming. Studies in Applied Mathematics 13 . SIAM , Philadelphia , 1994 . Y. Nesterov and A. Nemirovsky. Interior-point polynomial algorithms in convex programming. Studies in Applied Mathematics 13. SIAM, Philadelphia, 1994."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-013-0680-x"},{"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.1016\/j.automatica.2006.05.026"},{"key":"e_1_3_2_1_26_1","volume-title":"Nearly optimal refinement of real roots of a univariate polynomial. hal-01105263","author":"Pan V.","year":"2014","unstructured":"V. Pan , E. Tsigaridas . Nearly optimal refinement of real roots of a univariate polynomial. hal-01105263 , 2014 . V. Pan, E. Tsigaridas. Nearly optimal refinement of real roots of a univariate polynomial. hal-01105263, 2014."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-003-0387-5"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-4049(97)83827-3"},{"issue":"5","key":"e_1_3_2_1_29_1","first-page":"433","article-title":"Solving zero-dimensional systems through the rational univariate representation. J. of Applicable Algebra in Engineering","volume":"9","author":"Rouillier F.","year":"1999","unstructured":"F. Rouillier . Solving zero-dimensional systems through the rational univariate representation. J. of Applicable Algebra in Engineering , Communication and Computing. 9 ( 5 ): 433 -- 461 , 1999 . F. Rouillier. Solving zero-dimensional systems through the rational univariate representation. J. of Applicable Algebra in Engineering, Communication and Computing. 9(5):433--461, 1999.","journal-title":"Communication and Computing."},{"key":"e_1_3_2_1_30_1","volume-title":"A nearly optimal algorithm for deciding connectivity queries in smooth and bounded real algebraic sets. Preprint arXiv:1307.7836","author":"Safey El Din M.","year":"2013","unstructured":"M. Safey El Din , \u00c9. Schost. A nearly optimal algorithm for deciding connectivity queries in smooth and bounded real algebraic sets. Preprint arXiv:1307.7836 , 2013 . M. Safey El Din, \u00c9. Schost. A nearly optimal algorithm for deciding connectivity queries in smooth and bounded real algebraic sets. Preprint arXiv:1307.7836, 2013."},{"key":"e_1_3_2_1_31_1","volume-title":"Basic algebraic geometry 1","author":"Shafarevich I.","year":"1977","unstructured":"I. Shafarevich . Basic algebraic geometry 1 . Springer , Berlin , 1977 . I. Shafarevich. Basic algebraic geometry 1. Springer, Berlin, 1977."}],"event":{"name":"ISSAC '16: International Symposium on Symbolic and Algebraic Computation","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Waterloo ON Canada","acronym":"ISSAC '16"},"container-title":["Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2930889.2930925","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2930889.2930925","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:55:48Z","timestamp":1750222548000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2930889.2930925"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7,20]]},"references-count":31,"alternative-id":["10.1145\/2930889.2930925","10.1145\/2930889"],"URL":"https:\/\/doi.org\/10.1145\/2930889.2930925","relation":{},"subject":[],"published":{"date-parts":[[2016,7,20]]},"assertion":[{"value":"2016-07-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}