{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T13:55:55Z","timestamp":1762782955350,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":55,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,7,24]],"date-time":"2023-07-24T00:00:00Z","timestamp":1690156800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,7,24]]},"DOI":"10.1145\/3597066.3597097","type":"proceedings-article","created":{"date-parts":[[2023,7,5]],"date-time":"2023-07-05T18:15:27Z","timestamp":1688580927000},"page":"452-460","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Faster real root decision algorithm for symmetric polynomials"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-8977-4890","authenticated-orcid":false,"given":"George","family":"Labahn","sequence":"first","affiliation":[{"name":"Cheriton School of Computer Science, University of Waterloo, Ontario, Canada, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1192-3500","authenticated-orcid":false,"given":"Cordian","family":"Riener","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Statistics, UiT, The Arctic University of Norway, Norway, Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9463-1257","authenticated-orcid":false,"given":"Mohab","family":"Safey El Din","sequence":"additional","affiliation":[{"name":"Sorbonne Universite, CNRS, LIP6, Paris, France, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8638-9357","authenticated-orcid":false,"given":"Eric","family":"Schost","sequence":"additional","affiliation":[{"name":"Cheriton School of Computer Science, University of Waterloo, Ontario, Canada, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2285-7801","authenticated-orcid":false,"given":"Thi Xuan","family":"Vu","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Statistics, UiT, The Arctic University of Norway, Norway, Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,7,24]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10208-014-9214-z"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcom.1997.0432"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/PL00004896"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2009.07.014"},{"key":"e_1_3_2_1_5_1","first-page":"519","article-title":"Generalized polar varieties and efficient real elimination procedure","volume":"40","author":"Bank B.","year":"2004","unstructured":"B. Bank, M. Giusti, J. Heintz, and L.-M. Pardo. 2004. Generalized polar varieties and efficient real elimination procedure. Kybernetika 40, 5 (2004), 519\u2013550.","journal-title":"Kybernetika"},{"key":"e_1_3_2_1_6_1","volume-title":"Generalized polar varieties: Geometry and algorithms. Journal of complexity","author":"Bank B.","year":"2005","unstructured":"B. Bank, M. Giusti, J. Heintz, and L.-M. Pardo. 2005. Generalized polar varieties: Geometry and algorithms. Journal of complexity (2005)."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jco.2014.02.005"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/235809.235813"},{"key":"e_1_3_2_1_9_1","volume-title":"Algorithms in real algebraic geometry","author":"Basu S.","year":"2008","unstructured":"S. Basu, R. Pollack, and M.-F. Roy. 2006. Algorithms in real algebraic geometry (second edition ed.). Springer-Verlag. online version (2008)."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.aim.2016.09.015"},{"key":"e_1_3_2_1_11_1","volume-title":"Ordered Algebraic Structures and Related Topics: International Conference on Ordered Algebraic Structures and Related Topics, October 12\u201316","author":"Basu S.","year":"2015","unstructured":"S. Basu and C. Riener. 2017. Efficient algorithms for computing the euler-poincar\u00e9 characteristic of symmetric semi-algebraic sets. In Ordered Algebraic Structures and Related Topics: International Conference on Ordered Algebraic Structures and Related Topics, October 12\u201316, 2015, Centre International de Rencontres Math\u00e9matiques (CIRM), Luminy, France, Vol.\u00a0697. American Mathematical Soc. Providence, Rhode Island, 53\u201381."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10208-021-09519-7"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1277548.1277557"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2015.12.004"},{"volume-title":"The complexity of robot motion planning","author":"Canny J.","key":"e_1_3_2_1_15_1","unstructured":"J. Canny. 1987. The complexity of robot motion planning. MIT Press."},{"volume-title":"Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation. 187\u2013194","author":"Chen C.","key":"e_1_3_2_1_16_1","unstructured":"C. Chen, J.\u00a0H. Davenport, J.\u00a0P. May, M.\u00a0M. Maza, B. Xia, and R. Xiao. 2010. Triangular decomposition of semi-algebraic systems. In Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation. 187\u2013194."},{"volume-title":"Proceedings of the 2009 international symposium on Symbolic and algebraic computation. 95\u2013102","author":"Chen C.","key":"e_1_3_2_1_17_1","unstructured":"C. Chen, M.\u00a0M. Maza, B. Xia, and L. Yang. 2009. Computing cylindrical algebraic decomposition via triangular decomposition. In Proceedings of the 2009 international symposium on Symbolic and algebraic computation. 95\u2013102."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-4049(97)00011-X"},{"key":"e_1_3_2_1_19_1","volume-title":"Quantifier elimination for real closed fields by cylindrical algebraic decomposition. Lecture notes in computer science 33","author":"Collins E.","year":"1975","unstructured":"G.\u00a0E. Collins. 1975. Quantifier elimination for real closed fields by cylindrical algebraic decomposition. Lecture notes in computer science 33 (1975), 515\u2013532."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(88)80004-X"},{"key":"e_1_3_2_1_21_1","volume-title":"Systems of linear inequalities. Annals of Mathematics","author":"Dines L.","year":"1919","unstructured":"L.\u00a0L. Dines. 1919. Systems of linear inequalities. Annals of Mathematics (1919), 191\u2013199."},{"volume-title":"Commutative algebra: with a view toward algebraic geometry. Vol.\u00a0150","author":"Eisenbud D.","key":"e_1_3_2_1_22_1","unstructured":"D. Eisenbud. 2013. Commutative algebra: with a view toward algebraic geometry. Vol.\u00a0150. Springer Science & Business Media."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373207.3404058"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2019.07.019"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2022.10.002"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1576702.1576725"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2442829.2442855"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2442829.2442856"},{"key":"e_1_3_2_1_29_1","volume-title":"Fourier","author":"J.","year":"1826","unstructured":"J.\u00a0B.\u00a0J. Fourier. 1826. Solution d\u2019une question particuliere du calcul des in\u00e9galit\u00e9s. Nouveau Bulletin des Sciences par la Soci\u00e9t\u00e9 philomatique de Paris 99 (1826), 100."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpaa.2003.12.011"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcom.2000.0571"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(88)80005-1"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2020.09.008"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/36.5.427"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-57322-4_10"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jco.2021.101557"},{"volume-title":"An improved projection operator for Cylindrical Algebraic Decomposition. Ph.\u00a0D. Dissertation","author":"McCallum S.","key":"e_1_3_2_1_37_1","unstructured":"S. McCallum. 1984. An improved projection operator for Cylindrical Algebraic Decomposition. Ph.\u00a0D. Dissertation. University of Wisconsin-Madison."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/309831.309892"},{"key":"e_1_3_2_1_39_1","volume-title":"Discriminants of symmetric polynomials. arXiv preprint arXiv:0910.5757","author":"Perminov N.","year":"2009","unstructured":"N. Perminov and Sh. Shakirov. 2009. Discriminants of symmetric polynomials. arXiv preprint arXiv:0910.5757 (2009)."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(10)80003-3"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpaa.2011.08.012"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpaa.2015.12.010"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3208976.3209023"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1287\/moor.1120.0558"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/860854.860901"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2017.08.001"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2930889.2930929"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1081\/AGB-200058543"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"crossref","unstructured":"I.\u00a0R. Shafarevich and M. Reid. 1994. Basic algebraic geometry. Vol.\u00a02. Springer.","DOI":"10.1007\/978-3-642-57956-1"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1137\/130936294"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2006.06.004"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/2608628.2608633"},{"key":"e_1_3_2_1_53_1","first-page":"5","volume-title":"Algorithms in Invariant Theory (Texts and Monographs in Symbolic Computation)","author":"Sturmfels B.","unstructured":"B. Sturmfels. 2008. Algorithms in Invariant Theory (Texts and Monographs in Symbolic Computation) (2nd ed.; vii, 197 pp.; 5 figs. ed.). Springer Publishing Company, Incorporated.","edition":"2"},{"volume-title":"A Decision Method for Elementary Algebra and Geometry","author":"Tarski A.","key":"e_1_3_2_1_54_1","unstructured":"A. Tarski. 1948. A Decision Method for Elementary Algebra and Geometry. The Rand Corporation, Santa Monica, Calif. iii+60 pages."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-247X(03)00301-9"}],"event":{"name":"ISSAC 2023: International Symposium on Symbolic and Algebraic Computation 2023","acronym":"ISSAC 2023","location":"Troms\u00f8 Norway"},"container-title":["Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597066.3597097","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597066.3597097","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T09:36:35Z","timestamp":1755855395000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597066.3597097"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,24]]},"references-count":55,"alternative-id":["10.1145\/3597066.3597097","10.1145\/3597066"],"URL":"https:\/\/doi.org\/10.1145\/3597066.3597097","relation":{},"subject":[],"published":{"date-parts":[[2023,7,24]]},"assertion":[{"value":"2023-07-24","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}