{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T21:34:04Z","timestamp":1762032844385,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,8,3]],"date-time":"2009-08-03T00:00:00Z","timestamp":1249257600000},"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":[[2009,8,3]]},"DOI":"10.1145\/1577190.1577204","type":"proceedings-article","created":{"date-parts":[[2009,9,25]],"date-time":"2009-09-25T19:37:20Z","timestamp":1253907440000},"page":"65-70","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["A proof of the monotone column permanent (MCP) conjecture for dimension 4 via sums-of-squares of rational functions"],"prefix":"10.1145","author":[{"given":"Erich","family":"Kaltofen","sequence":"first","affiliation":[{"name":"North Carolina State University, Raleigh, NC, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhengfeng","family":"Yang","sequence":"additional","affiliation":[{"name":"East China Normal University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lihong","family":"Zhi","sequence":"additional","affiliation":[{"name":"Academy of Mathematics and Systems Science, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,8,3]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1006\/eujc.2000.0422"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/978-1-4613-0305-3_13","volume-title":"Topics in Number Theory In Honor of B","author":"Haglund J.","year":"1999","unstructured":"Haglund , J. , Ono , K. , and Wagner , D. G . Theorems and conjectures involving rook polynomials with real roots . In Topics in Number Theory In Honor of B . Gordon and S. Chowla, S. D. Ahlgren, G. E. Andrews, and K. Ono, Eds. Kluwer Academic Publishers (published by Springer) , 1999 , pp. 207 -- 221 . URL: http:\/\/www.math.upenn.edu\/Üjhaglund\/preprints\/how.pdf. Haglund, J., Ono, K., and Wagner, D. G. Theorems and conjectures involving rook polynomials with real roots. In Topics in Number Theory In Honor of B. Gordon and S. Chowla, S. D. Ahlgren, G. E. Andrews, and K. Ono, Eds. Kluwer Academic Publishers (published by Springer), 1999, pp. 207--221. URL: http:\/\/www.math.upenn.edu\/Üjhaglund\/preprints\/how.pdf."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1145\/779359.779363"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1090\/S0002-9939-08-09641-X"},{"key":"e_1_3_2_1_5_1","volume-title":"Ed. ISSAC 2008","author":"Jeffrey D.","year":"2008","unstructured":"Jeffrey , D. , Ed. ISSAC 2008 ( New York, N. Y. , 2008 ), ACM Press. Jeffrey, D., Ed. ISSAC 2008 (New York, N. Y., 2008), ACM Press."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1145\/1390768.1390792"},{"key":"e_1_3_2_1_7_1","volume-title":"Jan.","author":"Kaltofen E.","year":"2009","unstructured":"Kaltofen , E. , Li , B. , Yang , Z. , and Zhi , L . Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients , Jan. 2009 . Manuscript , 20 pages. Kaltofen, E., Li, B., Yang, Z., and Zhi, L. Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients, Jan. 2009. Manuscript, 20 pages."},{"volume-title":"Proc. IEEE CCA\/ISIC\/CACSD Conf.","year":"2004","unstructured":"Löfberg, 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öfberg, 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_8_1"},{"key":"e_1_3_2_1_9_1","volume-title":"Buhler","author":"Mayer R.","year":"1999","unstructured":"Mayer , R. , 1999 . Private communication cited in {1} and via J . Buhler , March 19, 2009. Mayer, R., 1999. Private communication cited in {1} and via J. Buhler, March 19, 2009."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1145\/1277500.1277534"},{"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_11_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1145\/1390768.1390781"},{"key":"e_1_3_2_1_13_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."}],"event":{"sponsor":["ACM Association for Computing Machinery","SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"acronym":"SNC '09","name":"SNC '09: Symbolic Numeric Computation","location":"Kyoto Japan"},"container-title":["Proceedings of the 2009 conference on Symbolic numeric computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1577190.1577204","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1577190.1577204","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:22:43Z","timestamp":1750278163000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1577190.1577204"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,8,3]]},"references-count":13,"alternative-id":["10.1145\/1577190.1577204","10.1145\/1577190"],"URL":"https:\/\/doi.org\/10.1145\/1577190.1577204","relation":{},"subject":[],"published":{"date-parts":[[2009,8,3]]},"assertion":[{"value":"2009-08-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}