{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T21:32:47Z","timestamp":1762032767046,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,7,20]],"date-time":"2008-07-20T00:00:00Z","timestamp":1216512000000},"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":[[2008,7,20]]},"DOI":"10.1145\/1390768.1390792","type":"proceedings-article","created":{"date-parts":[[2008,7,22]],"date-time":"2008-07-22T13:46:39Z","timestamp":1216734399000},"page":"155-164","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":30,"title":["Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars"],"prefix":"10.1145","author":[{"given":"Erich","family":"Kaltofen","sequence":"first","affiliation":[{"name":"NCSU, Raleigh, NC, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bin","family":"Li","sequence":"additional","affiliation":[{"name":"AMSS, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhengfeng","family":"Yang","sequence":"additional","affiliation":[{"name":"NCSU, Raleigh, NC, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lihong","family":"Zhi","sequence":"additional","affiliation":[{"name":"AMSS, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,7,20]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Integer polynomials with large single factor coefficient bounds. In preparation","author":"Boyd D.","year":"2008","unstructured":"Boyd , D. , Kaltofen , E. , and Zhi , L . Integer polynomials with large single factor coefficient bounds. In preparation , 2008 . Boyd, D., Kaltofen, E., and Zhi, L. Integer polynomials with large single factor coefficient bounds. In preparation, 2008."},{"key":"e_1_3_2_1_2_1","volume-title":"Nov.","author":"Ch\u00e8ze G.","year":"2007","unstructured":"Ch\u00e8ze , G. , and Yakoubsohn , J . -C. Distance computation to the resultant variety , Nov. 2007 . Talk at the Journ\u00e9es 2007 da l'ANR GECKO, URL : http:\/\/www-sop.inria.fr\/galaad\/conf\/07gecko\/Yakoubshon.J.C.pdf. Ch\u00e8ze, G., and Yakoubsohn, J.-C. Distance computation to the resultant variety, Nov. 2007. Talk at the Journ\u00e9es 2007 da l'ANR GECKO, URL: http:\/\/www-sop.inria.fr\/galaad\/conf\/07gecko\/Yakoubshon.J.C.pdf."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2004.05.006"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1005285.1005302"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1247069.1247116"},{"key":"e_1_3_2_1_6_1","first-page":"167","volume-title":"Gutierrez \\citeISSAC04","author":"Gao S.","unstructured":"Gao , S. , Kaltofen , E. , May , J. P. , Yang , Z. , and Zhi , L . Approximate factorization of multivariate polynomials via differential equations . In Gutierrez \\citeISSAC04 , pp. 167 -- 174 . 10.1145\/1005285.1005311 Gao, S., Kaltofen, E., May, J. P., Yang, Z., and Zhi, L. Approximate factorization of multivariate polynomials via differential equations. In Gutierrez \\citeISSAC04, pp. 167--174. 10.1145\/1005285.1005311"},{"key":"e_1_3_2_1_7_1","volume-title":"Matrix Computations","author":"Golub G. H.","year":"1996","unstructured":"Golub , G. H. , and Van Loan , C. F. Matrix Computations , third ed. Johns Hopkins University Press , Baltimore, Maryland , 1996 . Golub, G. H., and Van Loan, C. F. Matrix Computations, third ed. Johns Hopkins University Press, Baltimore, Maryland, 1996."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/43876.43880"},{"key":"e_1_3_2_1_9_1","volume-title":"Ed. ISSAC 2004 Proc. 2004 Internat. Symp. Symbolic Algebraic Comput.","author":"Gutierrez J.","year":"2004","unstructured":"Gutierrez , J. , Ed. ISSAC 2004 Proc. 2004 Internat. Symp. Symbolic Algebraic Comput. ( New York, N. Y. , 2004 ), ACM Press. Gutierrez, J., Ed. ISSAC 2004 Proc. 2004 Internat. Symp. Symbolic Algebraic Comput. (New York, N. Y., 2004), ACM Press."},{"key":"e_1_3_2_1_10_1","volume-title":"Proc. American Math. Society","author":"Hillar C.","year":"2008","unstructured":"Hillar , C. Sums of polynomial squares over totally real fields are rational sums of squares . Proc. American Math. Society ( 2008 ). To appear. URL: http:\/\/www.math.tamu.edu\/ chillar\/files\/totallyrealsos.pdf. Hillar, C. Sums of polynomial squares over totally real fields are rational sums of squares. Proc. American Math. Society (2008). To appear. URL: http:\/\/www.math.tamu.edu\/ chillar\/files\/totallyrealsos.pdf."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/281508.281624"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-005-0589-0"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1277500.1277532"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/860854.860893"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2007.11.005"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1145768.1145799"},{"key":"e_1_3_2_1_17_1","first-page":"11","volume-title":"Verschelde and Watt \\citeSNC07","author":"Kaltofen E.","unstructured":"Kaltofen , E. , Yang , Z. , and Zhi , L . On probabilistic analysis of randomization in hybrid symbolic-numeric algorithms . In Verschelde and Watt \\citeSNC07 , pp. 11 -- 17 . 10.1145\/1277500.1277503 Kaltofen, E., Yang, Z., and Zhi, L. On probabilistic analysis of randomization in hybrid symbolic-numeric algorithms. In Verschelde and Watt \\citeSNC07, pp. 11--17. 10.1145\/1277500.1277503"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1998.0232"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1137\/S1052623400366802"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1137\/05064504X"},{"key":"e_1_3_2_1_21_1","volume-title":"MACIS 2007","author":"Li B.","year":"2007","unstructured":"Li , B. , Liu , Z. , and Zhi , L . Structured condition numbers of Sylvester matrices (extended abstract), Dec. 2007 . Presented at MACIS 2007 , URL: http:\/\/www-spiral.lip6.fr\/MACIS 2007 \/Papers\/submission_17.pdf. Li, B., Liu, Z., and Zhi, L. Structured condition numbers of Sylvester matrices (extended abstract), Dec. 2007. Presented at MACIS 2007, URL: http:\/\/www-spiral.lip6.fr\/MACIS2007\/Papers\/submission_17.pdf."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1277500.1277533"},{"key":"e_1_3_2_1_23_1","volume-title":"Approximate GCDs of polynomials and sparse SOS relaxations. Manuscript, 16 pages. Submitted","author":"Li B.","year":"2007","unstructured":"Li , B. , Nie , J. , and Zhi , L . Approximate GCDs of polynomials and sparse SOS relaxations. Manuscript, 16 pages. Submitted , 2007 . Li, B., Nie, J., and Zhi, L. Approximate GCDs of polynomials and sparse SOS relaxations. Manuscript, 16 pages. Submitted, 2007."},{"key":"e_1_3_2_1_24_1","volume-title":"Proc. IEEE CCA\/ISIC\/CACSD Conf.","author":"L\u00f6fberg J. YALMIP","year":"2004","unstructured":"L\u00f6fberg , J. YALMIP : A toolbox for modeling and optimization in MATLAB . In Proc. IEEE CCA\/ISIC\/CACSD Conf. ( Taipei, Taiwan , 2004 ). URL: http:\/\/control.ee.ethz.ch\/ joloef\/yalmip.php. L\u00f6fberg, J. YALMIP : A toolbox for modeling and optimization in MATLAB. In Proc. IEEE CCA\/ISIC\/CACSD Conf. (Taipei, Taiwan, 2004). URL: http:\/\/control.ee.ethz.ch\/ joloef\/yalmip.php."},{"key":"e_1_3_2_1_25_1","first-page":"259","volume-title":"Some useful bounds","author":"Mignotte M.","year":"1982","unstructured":"Mignotte , M. Some useful bounds . In Computer Algebra, B. Buchberger, G. Collins, and R. Loos, Eds., 2 ed. Springer Verlag , Heidelberg, Germany , 1982 , pp. 259 -- 263 . Mignotte, M. Some useful bounds. In Computer Algebra, B. Buchberger, G. Collins, and R. Loos, Eds., 2 ed. Springer Verlag, Heidelberg, Germany, 1982, pp. 259--263."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/780506.780531"},{"key":"e_1_3_2_1_27_1","volume-title":"Sparse SOS relaxations for minimization functions that are summation of small polynomials","author":"Nie J.","year":"2007","unstructured":"Nie , J. , and Demmel , J . Sparse SOS relaxations for minimization functions that are summation of small polynomials , 2007 . Nie, J., and Demmel, J. Sparse SOS relaxations for minimization functions that are summation of small polynomials, 2007."},{"key":"e_1_3_2_1_28_1","volume-title":"Global minimization of rational functions and the nearest GCDs. ArXiv Mathematics e-prints (Jan","author":"Nie J.","year":"2006","unstructured":"Nie , J. , Demmel , J. , and Gu , M . Global minimization of rational functions and the nearest GCDs. ArXiv Mathematics e-prints (Jan . 2006 ). URL : http:\/\/arxiv.org\/pdf\/math\/0601110. Nie, J., Demmel, J., and Gu, M. Global minimization of rational functions and the nearest GCDs. ArXiv Mathematics e-prints (Jan. 2006). URL: http:\/\/arxiv.org\/pdf\/math\/0601110."},{"key":"e_1_3_2_1_29_1","volume-title":"The algebraic degree of semidefinite programming","author":"Nie J.","year":"2006","unstructured":"Nie , J. , Ranestad , K. , and Sturmfels , B . The algebraic degree of semidefinite programming , 2006 . URL : http:\/\/www.citebase.org\/abstract?id=oai:arXiv.org:math\/0611562. Nie, J., Ranestad, K., and Sturmfels, B. The algebraic degree of semidefinite programming, 2006. URL: http:\/\/www.citebase.org\/abstract?id=oai:arXiv.org:math\/0611562."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jco.2006.07.002"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/10997703_11"},{"key":"e_1_3_2_1_33_1","volume-title":"Minimizing polynomial functions. DIMACS series in discrete mathematics and theoretical computer 60","author":"Parrilo P. A.","year":"2003","unstructured":"Parrilo , P. A. , and Sturmfels , B . Minimizing polynomial functions. DIMACS series in discrete mathematics and theoretical computer 60 ( 2003 ), 83. URL : http:\/\/www.citebase.org\/abstract?id=oai:arXiv.org:math\/0103170. Parrilo, P. A., and Sturmfels, B. Minimizing polynomial functions. DIMACS series in discrete mathematics and theoretical computer 60 (2003), 83. URL: http:\/\/www.citebase.org\/abstract?id=oai:arXiv.org:math\/0103170."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1277500.1277534"},{"key":"e_1_3_2_1_35_1","unstructured":"Prajna S. Papachristodoulou A. and Parrilo P. A. SOSTOOLS: Sum of squares optimization toolbox for MATLAB. URL: http:\/\/www.cds.caltech.edu\/sostools.  Prajna S. Papachristodoulou A. and Parrilo P. A. SOSTOOLS: Sum of squares optimization toolbox for MATLAB. URL: http:\/\/www.cds.caltech.edu\/sostools."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1215\/S0012-7094-78-04519-2"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0895479802405732"},{"key":"e_1_3_2_1_38_1","volume-title":"Global optimization: a model problem","author":"Rump S. M.","year":"2006","unstructured":"Rump , S. M. Global optimization: a model problem , 2006 . URL : http:\/\/www.ti3.tu-harburg.de\/rump\/Research\/ModelProblem.pdf. Rump, S. M. Global optimization: a model problem, 2006. URL: http:\/\/www.ti3.tu-harburg.de\/rump\/Research\/ModelProblem.pdf."},{"key":"e_1_3_2_1_39_1","volume-title":"The ratio between the Toeplitz and the unstructured condition number","author":"Rump S. M.","year":"2006","unstructured":"Rump , S. M. , and Sekigawa , H . The ratio between the Toeplitz and the unstructured condition number , 2006 . To appear. URL : http:\/\/www.ti3.tu-harburg.de\/paper\/rump\/RuSe06.pdf. Rump, S. M., and Sekigawa, H. The ratio between the Toeplitz and the unstructured condition number, 2006. To appear. URL: http:\/\/www.ti3.tu-harburg.de\/paper\/rump\/RuSe06.pdf."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390768.1390781"},{"key":"e_1_3_2_1_41_1","volume-title":"Using SeDuMi 1.02, a MATLAB toolbox for optimization over symmetric cones. Optimization Methods and Software 11\/12","author":"Sturm J. F.","year":"1999","unstructured":"Sturm , J. F. Using SeDuMi 1.02, a MATLAB toolbox for optimization over symmetric cones. Optimization Methods and Software 11\/12 ( 1999 ), 625--653. Sturm, J. F. Using SeDuMi 1.02, a MATLAB toolbox for optimization over symmetric cones. Optimization Methods and Software 11\/12 (1999), 625--653."},{"key":"e_1_3_2_1_42_1","volume-title":"Eds. SNC'07 Proc. 2007 Internat. Workshop on Symbolic-Numeric Comput.","author":"Verschelde J.","year":"2007","unstructured":"Verschelde , J. , and Watt , S. M ., Eds. SNC'07 Proc. 2007 Internat. Workshop on Symbolic-Numeric Comput. ( New York, N. Y. , 2007 ), ACM Press. Verschelde, J., and Watt, S. M., Eds. SNC'07 Proc. 2007 Internat. Workshop on Symbolic-Numeric Comput. (New York, N. Y., 2007), ACM Press."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1277548.1277597"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1137\/050623802"},{"key":"e_1_3_2_1_45_1","volume-title":"Proc. of the Seventh Asian Symposium on Computer Mathematics","author":"Zhang T.","year":"2005","unstructured":"Zhang , T. , Xiao , R. , and Xia , B . Real soultion isolation based on interval Krawczyk operator . In Proc. of the Seventh Asian Symposium on Computer Mathematics ( Seoul, South Korea , 2005 ), S. Pae and H. Park, Eds., Korea Institute for Advanced Study, pp. 235--237. Extended abstract. Zhang, T., Xiao, R., and Xia, B. Real soultion isolation based on interval Krawczyk operator. In Proc. of the Seventh Asian Symposium on Computer Mathematics (Seoul, South Korea, 2005), S. Pae and H. Park, Eds., Korea Institute for Advanced Study, pp. 235--237. Extended abstract."},{"key":"e_1_3_2_1_46_1","first-page":"33","volume-title":"Verschelde and Watt \\citeSNC07","author":"Zhi L.","unstructured":"Zhi , L. Numerical optimization in hybrid symbolic-numeric computation . In Verschelde and Watt \\citeSNC07 , pp. 33 -- 35 . 10.1145\/1277500.1277507 Zhi, L. Numerical optimization in hybrid symbolic-numeric computation. In Verschelde and Watt \\citeSNC07, pp. 33--35. 10.1145\/1277500.1277507"},{"key":"e_1_3_2_1_47_1","volume-title":"Frontiers of Computer Science in China","author":"Zhou W.","year":"2008","unstructured":"Zhou , W. , and Jeffrey , D. J . Fraction-free matrix factors: new forms for LU and QR factors . In Frontiers of Computer Science in China ( 2008 ). To appear. URL http:\/\/www.apmaths.uwo.ca\/djeffrey\/Offprints\/FFLUQR.pdf. Zhou, W., and Jeffrey, D. J. Fraction-free matrix factors: new forms for LU and QR factors. In Frontiers of Computer Science in China (2008). To appear. URL http:\/\/www.apmaths.uwo.ca\/djeffrey\/Offprints\/FFLUQR.pdf."}],"event":{"name":"ISSAC '08: International Symposium on Symbolic and Algebraic Computation","sponsor":["ACM Association for Computing Machinery","SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Linz\/Hagenberg Austria","acronym":"ISSAC '08"},"container-title":["Proceedings of the twenty-first international symposium on Symbolic and algebraic computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1390768.1390792","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1390768.1390792","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:47:11Z","timestamp":1750258031000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1390768.1390792"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,7,20]]},"references-count":46,"alternative-id":["10.1145\/1390768.1390792","10.1145\/1390768"],"URL":"https:\/\/doi.org\/10.1145\/1390768.1390792","relation":{},"subject":[],"published":{"date-parts":[[2008,7,20]]},"assertion":[{"value":"2008-07-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}