{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T02:40:00Z","timestamp":1778294400079,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,6,24]],"date-time":"2015-06-24T00:00:00Z","timestamp":1435104000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"GEOLMI","award":["ANR 2011 BS03 011 06"],"award-info":[{"award-number":["ANR 2011 BS03 011 06"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,6,24]]},"DOI":"10.1145\/2755996.2756670","type":"proceedings-article","created":{"date-parts":[[2015,6,25]],"date-time":"2015-06-25T14:43:22Z","timestamp":1435243402000},"page":"37-44","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Probabilistic Algorithm for Computing the Dimension of Real Algebraic Sets"],"prefix":"10.1145","author":[{"given":"Ivan","family":"Bannwarth","sequence":"first","affiliation":[{"name":"Sorbonne Universit\u00e9s, Univ. Pierre et Marie Curie (Paris 06), INRIA Paris Rocquencourt, POLSYS Project LIP6 CNRS, UMR 7606, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohab","family":"Safey El Din","sequence":"additional","affiliation":[{"name":"Sorbonne Universit\u00e9s, Univ. Pierre et Marie Curie (Paris 06), INRIA Paris Rocquencourt, POLSYS Project LIP6 CNRS, UMR 7606, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,6,24]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcom.1997.0432"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/PL00004896"},{"issue":"5","key":"e_1_3_2_1_3_1","first-page":"519","article-title":"Generalized polar varieties and an efficient real elimination","volume":"40","author":"Bank B.","year":"2004","unstructured":"B. Bank, M. Giusti, J. Heintz, and L.M. Pardo. Generalized polar varieties and an efficient real elimination. Kybernetika, 40(5):519--550, 2004.","journal-title":"Kybernetika"},{"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","doi-asserted-by":"publisher","DOI":"10.1007\/s00200-009-0117-1"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00454-011-9391-3"},{"key":"e_1_3_2_1_7_1","volume-title":"On a real analogue of bezout inequality and the number of connected components of sign conditions. ArXiv e-prints","author":"Barone S.","year":"2013","unstructured":"S. Barone and S. Basu. On a real analogue of bezout inequality and the number of connected components of sign conditions. ArXiv e-prints, 2013."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/1197095"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10958-006-0111-0"},{"key":"e_1_3_2_1_10_1","unstructured":"C. Brown H. Hong and et al. QEPCAD B - quantifier elimination by partial cylindrical algebraic decomposition. http:\/\/www.cs.usna.edu\/~qepcad\/B\/QEPCAD.html 2009."},{"key":"e_1_3_2_1_11_1","series-title":"Lecture Notes in Computer Science","first-page":"425","volume-title":"Mathematical Software - ICMS 2014 - 4th International Congress","author":"Chen C.","year":"2014","unstructured":"C. Chen and M. Moreno Maza. Cylindrical algebraic decomposition in the regularchains library. In H. Hong and C. Yap, editors, Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, volume 8592 of Lecture Notes in Computer Science, pages 425--433. Springer, 2014."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/646589.697342"},{"key":"e_1_3_2_1_13_1","volume-title":"varieties and algorithms: an introduction to computational algebraic geometry and commutative algebra. Undergraduate Texts in Mathematics","author":"Cox D.","year":"1997","unstructured":"D. Cox, J. Little, and D. O'Shea. Ideals, varieties and algorithms: an introduction to computational algebraic geometry and commutative algebra. Undergraduate Texts in Mathematics. Springer-Verlag, New York, 1997."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-5350-1"},{"key":"e_1_3_2_1_15_1","volume-title":"FGB: a library for computing gr\u00f6bner bases. www-polsys.lip6.fr\/ jcf\/Software\/","author":"Faug\u00e8re J.-C.","year":"2010","unstructured":"J.-C. Faug\u00e8re. FGB: a library for computing gr\u00f6bner bases. www-polsys.lip6.fr\/ jcf\/Software\/, 2010."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390768.1390782"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcom.2000.0571"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993886.1993910"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1137\/130931308"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2608628.2608676"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/800141.804674"},{"key":"e_1_3_2_1_22_1","volume-title":"Safey El Din. Real root finding of determinants of linear matrices. pre-print","author":"Henrion D.","year":"2014","unstructured":"D. Henrion, S. Naldi, and M. Safey El Din. Real root finding of determinants of linear matrices. pre-print, 2014."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1576702.1576729"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2011.05.014"},{"key":"e_1_3_2_1_25_1","first-page":"119","article-title":"On some identities for the elements of a symmetric matrix","volume":"303","author":"Ilyushechkin N. V.","year":"2003","unstructured":"N. V. Ilyushechkin. On some identities for the elements of a symmetric matrix. Zapiski Nauchnykh Seminarov POMI, 303:119--144, 2003.","journal-title":"Zapiski Nauchnykh Seminarov POMI"},{"key":"e_1_3_2_1_26_1","volume-title":"Overconstraint analysis on spatial 6-link loops. Mechanism and machine theory, 37(3):267--278","author":"Jin Q.","year":"2002","unstructured":"Q. Jin and T. Yang. Overconstraint analysis on spatial 6-link loops. Mechanism and machine theory, 37(3):267--278, 2002."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/795663.796372"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcom.1999.0502"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0885-064X(03)00031-1"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcom.2000.0563"},{"key":"e_1_3_2_1_32_1","volume-title":"MEGA (Effective Methods in Algebraic Geometry) Electronic proceedings","author":"Safey El Din M.","year":"2005","unstructured":"M. Safey El Din. Finding sampling points on real hypersurfaces is easier in singular situations. MEGA (Effective Methods in Algebraic Geometry) Electronic proceedings, 2005."},{"key":"e_1_3_2_1_33_1","volume-title":"Real algebraic geometry library. www-polsys.lip6.fr\/ safey\/RAGLib\/","author":"Safey El Din M.","year":"2007","unstructured":"M. Safey El Din. RAGlib : Real algebraic geometry library. www-polsys.lip6.fr\/ safey\/RAGLib\/, 2007."},{"key":"e_1_3_2_1_34_1","volume-title":"H. Hong and C. Yap","author":"Safey El Din M.","year":"2007","unstructured":"M. Safey El Din. Testing sign conditions on a multivariate polynomial and applications, mathematics in computer science journal, special inaugural issue on algorithms and complexity, H. Hong and C. Yap (Guest editors), 2007."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/860854.860901"},{"key":"e_1_3_2_1_36_1","volume-title":"A nearly optimal algorithm for deciding connectivity queries in smooth and bounded real algebraic sets. arXiv preprint arXiv:1307.7836","author":"Safey El Din M.","year":"2013","unstructured":"M. Safey El Din and E. Schost. A nearly optimal algorithm for deciding connectivity queries in smooth and bounded real algebraic sets. arXiv preprint arXiv:1307.7836, 2013."},{"issue":"5","key":"e_1_3_2_1_37_1","first-page":"349","article-title":"Computing parametric geometric resolutions. Applicable Algebra in Engineering","volume":"13","author":"Schost E.","year":"2003","unstructured":"E. Schost. Computing parametric geometric resolutions. Applicable Algebra in Engineering, Communication and Computing, 13(5):349--393, 2003.","journal-title":"Communication and Computing"},{"key":"e_1_3_2_1_38_1","volume-title":"Basic algebraic geometry","author":"Shafarevich I. R.","year":"1977","unstructured":"I. R. Shafarevich and K. A. Hirsch. Basic algebraic geometry, volume 197. Springer, 1977."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.5555\/647691.731035"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1999.0282"}],"event":{"name":"ISSAC'15: International Symposium on Symbolic and Algebraic Computation","location":"Bath United Kingdom","acronym":"ISSAC'15","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"]},"container-title":["Proceedings of the 2015 ACM International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2755996.2756670","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2755996.2756670","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:00:31Z","timestamp":1750230031000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2755996.2756670"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6,24]]},"references-count":39,"alternative-id":["10.1145\/2755996.2756670","10.1145\/2755996"],"URL":"https:\/\/doi.org\/10.1145\/2755996.2756670","relation":{},"subject":[],"published":{"date-parts":[[2015,6,24]]},"assertion":[{"value":"2015-06-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}