{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T21:45:39Z","timestamp":1762033539998,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":65,"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":"Troms\u00f8 Research Foundation"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,7,11]]},"DOI":"10.1145\/3208976.3209023","type":"proceedings-article","created":{"date-parts":[[2018,7,12]],"date-time":"2018-07-12T17:46:44Z","timestamp":1531417604000},"page":"335-342","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Real Root Finding for Equivariant Semi-algebraic Systems"],"prefix":"10.1145","author":[{"given":"Cordian","family":"Riener","sequence":"first","affiliation":[{"name":"UiT The Arctic University of Norway, Troms\u00f8, Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohab","family":"Safey el Din","sequence":"additional","affiliation":[{"name":"Sorbonne Universit\u00e9, CNRS, INRIA, LIP6, \u00c9quipe PolSys, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,7,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/PL00004896"},{"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.5555\/1108638.1716342"},{"key":"e_1_3_2_1_4_1","first-page":"65","article-title":"Bipolar varieties and real solving of a singular polynomial equation","volume":"2","author":"Bank B.","year":"2010","unstructured":"B. Bank , M. Giusti , J. Heintz , and L.M. Pardo . 2010 . Bipolar varieties and real solving of a singular polynomial equation . Jaen Journal of Approximation Vol. 2 , 1 (2010), 65 -- 77 . B. Bank, M. Giusti, J. Heintz, and L.M. Pardo. 2010. Bipolar varieties and real solving of a singular polynomial equation. Jaen Journal of Approximation Vol. 2, 1 (2010), 65--77.","journal-title":"Jaen Journal of Approximation"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jco.2014.02.005"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02573959"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/237814.237857"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/235809.235813"},{"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.","key":"e_1_3_2_1_9_1","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_10_1","volume-title":"Algorithms in real algebraic geometry (bibinfoedition","author":"Basu S.","unstructured":"S. Basu , R. Pollack , and M.-F. Roy . 2006. Algorithms in real algebraic geometry (bibinfoedition 2 nd 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 (bibinfoedition2nd ed.). Algorithms and Computation in Mathematics, Vol. Vol. 10. Springer-Verlag.","edition":"2"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.aim.2016.09.015"},{"volume-title":"Ordered Algebraic Structures and Related Topics","author":"Basu S.","key":"e_1_3_2_1_12_1","unstructured":"S. Basu and C. Riener . 2017 b. Efficient algorithms for computing the Euler-Poincar\u00e9 characteristic of symmetric semi-algebraic sets . In Ordered Algebraic Structures and Related Topics , Vol. Vol. 697 . American Mathematical Soc ., 51. S. Basu and C. Riener. 2017 b. Efficient algorithms for computing the Euler-Poincar\u00e9 characteristic of symmetric semi-algebraic sets. In Ordered Algebraic Structures and Related Topics, Vol. Vol. 697. American Mathematical Soc., 51."},{"key":"e_1_3_2_1_13_1","unstructured":"L. Blum F. Cucker M. Shub and S. Smale. 2012. Complexity and real computation. Springer Science & Business Media.  L. Blum F. Cucker M. Shub and S. Smale. 2012. Complexity and real computation. Springer Science & Business Media."},{"volume-title":"Real algebraic geometry","author":"Bochnak J.","key":"e_1_3_2_1_14_1","unstructured":"J. Bochnak , M. Coste , and M.-F. Roy . 2013. Real algebraic geometry . Vol. Vol. 36 . Springer Science . J. Bochnak, M. Coste, and M.-F. Roy. 2013. Real algebraic geometry. Vol. Vol. 36. Springer Science."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2930889.2930916"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.4064\/-44-1-37-50"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1277548.1277557"},{"key":"e_1_3_2_1_18_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_19_1","unstructured":"J. Canny . 1987. The complexity of robot motion planning . MIT Press . J. Canny. 1987. The complexity of robot motion planning. MIT Press."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/62212.62257"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"J. Canny. 1993. Computing roadmaps in general semi-algebraic sets. Comput. J. (1993).  J. Canny. 1993. Computing roadmaps in general semi-algebraic sets. Comput. J. (1993).","DOI":"10.1093\/comjnl\/36.5.504"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2110170.2110174"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-08-04588-1"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-4049(97)00011-X"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(88)80004-X"},{"key":"e_1_3_2_1_26_1","unstructured":"D. Djuki\u0107 V. Jankovi\u0107 I. Mati\u0107 and N. Petrovi\u0107. 2006. The IMO compedium. A collection of problems suggested at the International Mathematical Olympiads: 1959--2004. Springer.  D. Djuki\u0107 V. Jankovi\u0107 I. Mati\u0107 and N. Petrovi\u0107. 2006. The IMO compedium. A collection of problems suggested at the International Mathematical Olympiads: 1959--2004. Springer."},{"volume-title":"Commutative algebra with a view toward algebraic geometry. Graduate Texts in Mathematics","author":"Eisenbud D.","key":"e_1_3_2_1_27_1","unstructured":"D. Eisenbud . 1995. Commutative algebra with a view toward algebraic geometry. Graduate Texts in Mathematics , Vol. Vol. 150 . Springer-Verlag , New York . D. Eisenbud. 1995. Commutative algebra with a view toward algebraic geometry. Graduate Texts in Mathematics, Vol. Vol. 150. Springer-Verlag, New York."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/3116258.3116373"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1576702.1576725"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2442829.2442856"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465506.2465944"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpaa.2003.12.011"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01200148"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2011.12.003"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1137\/130931308"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00037-005-0189-7"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(88)80005-1"},{"key":"e_1_3_2_1_38_1","unstructured":"L.C. Grove and C.T. Benson. 1996. Finite reflection groups. Vol. Vol. 99. Springer.  L.C. Grove and C.T. Benson. 1996. Finite reflection groups. Vol. Vol. 99. Springer."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1837934.1837960"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"crossref","unstructured":"J. Heintz M.-F. Roy and P. Solern\u00f3. 1990. Sur la complexit\u00e9 du principe de Tarski-Seidenberg. Bulletin de la Soci\u00e9t\u00e9 math\u00e9matique de France Vol. 118 1 (1990) 101--126.  J. Heintz M.-F. Roy and P. Solern\u00f3. 1990. Sur la complexit\u00e9 du principe de Tarski-Seidenberg. Bulletin de la Soci\u00e9t\u00e9 math\u00e9matique de France Vol. 118 1 (1990) 101--126.","DOI":"10.24033\/bsmf.2138"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/36.5.427"},{"key":"e_1_3_2_1_42_1","volume-title":"II: The general case. Algebraic geometry and its applications","author":"Heintz J.","year":"1994","unstructured":"J. Heintz , M.-F. Roy , and P. Solern\u00f3 . 1994 . Single exponential path finding in semi-algebraic sets II: The general case. Algebraic geometry and its applications . Purdue University , West- Lafayette . J. Heintz, M.-F. Roy, and P. Solern\u00f3. 1994. Single exponential path finding in semi-algebraic sets II: The general case. Algebraic geometry and its applications. Purdue University, West-Lafayette."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2015.06.010"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2011.05.014"},{"key":"e_1_3_2_1_45_1","volume-title":"Invariant Algebraic Sets and Symmetrization of Polynomial Systems. (April","author":"Hubert E.","year":"2017","unstructured":"E. Hubert . 2017. Invariant Algebraic Sets and Symmetrization of Polynomial Systems. (April . 2017 ). https:\/\/hal.inria.fr\/hal-01254954 working paper or preprint. E. Hubert. 2017. Invariant Algebraic Sets and Symmetrization of Polynomial Systems. (April. 2017). https:\/\/hal.inria.fr\/hal-01254954 working paper or preprint."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"crossref","unstructured":"J.B. Lasserre. 2009. Moments positive polynomials and their applications. World Scientific.  J.B. Lasserre. 2009. Moments positive polynomials and their applications. World Scientific.","DOI":"10.1142\/p665"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1016\/0001-8708(78)90011-7"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"crossref","unstructured":"C. Procesi and G. Schwartz. 1985. Inequalities defining orbit spaces. Invenciones mathmeaticae Vol. 81 (1985) 539--554.  C. Procesi and G. Schwartz. 1985. Inequalities defining orbit spaces. Invenciones mathmeaticae Vol. 81 (1985) 539--554.","DOI":"10.1007\/BF01388587"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(10)80005-7"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpaa.2011.08.012"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpaa.2015.12.010"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1287\/moor.1120.0558"},{"key":"e_1_3_2_1_53_1","unstructured":"M. Safey El Din. 2003. Raglib (real algebraic geometry library). http:\/\/www-polsys.lip6.fr\/ safey. (2003).  M. Safey El Din. 2003. Raglib (real algebraic geometry library). http:\/\/www-polsys.lip6.fr\/ safey. (2003)."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/860854.860901"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/2996450"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2017.08.001"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.2307\/1969640"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01081611"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2013.01.005"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"crossref","unstructured":"I. Stewart T. Elmhirst and J. Cohen. 2003. Symmetry-Breaking as an Origin of Species. Birkh\"auser Basel 3--54.  I. Stewart T. Elmhirst and J. Cohen. 2003. Symmetry-Breaking as an Origin of Species. Birkh\"auser Basel 3--54.","DOI":"10.1007\/978-3-0348-7982-8_1"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2006.06.004"},{"volume-title":"Algorithms in invariant theory","author":"Sturmfels B.","key":"e_1_3_2_1_62_1","unstructured":"B. Sturmfels . 2008. Algorithms in invariant theory . Springer Science . B. Sturmfels. 2008. Algorithms in invariant theory. Springer Science."},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1109\/JRA.1987.1087105"},{"key":"e_1_3_2_1_64_1","first-page":"328","article-title":"Computing minimal generating sets of invariant rings of permutation groups with sagbi-grobner basis","volume":"315","author":"Thi\u00e9ry N.M.","year":"2001","unstructured":"N.M. Thi\u00e9ry . 2001 . Computing minimal generating sets of invariant rings of permutation groups with sagbi-grobner basis . Discrete Mathematics and Theoretical Computer Science Vol. 315 (2001), 328 . N.M. Thi\u00e9ry. 2001. Computing minimal generating sets of invariant rings of permutation groups with sagbi-grobner basis. Discrete Mathematics and Theoretical Computer Science Vol. 315 (2001), 328.","journal-title":"Discrete Mathematics and Theoretical Computer Science"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-247X(03)00301-9"}],"event":{"name":"ISSAC '18: International Symposium on Symbolic and Algebraic Computation","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"New York NY USA","acronym":"ISSAC '18"},"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.3209023","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3208976.3209023","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.3209023"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7,11]]},"references-count":65,"alternative-id":["10.1145\/3208976.3209023","10.1145\/3208976"],"URL":"https:\/\/doi.org\/10.1145\/3208976.3209023","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"}}]}}