{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,16]],"date-time":"2026-06-16T19:45:19Z","timestamp":1781639119377,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,7,25]],"date-time":"2010-07-25T00:00:00Z","timestamp":1280016000000},"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":[[2010,7,25]]},"DOI":"10.1145\/1837934.1837972","type":"proceedings-article","created":{"date-parts":[[2010,7,27]],"date-time":"2010-07-27T14:10:11Z","timestamp":1280239811000},"page":"187-194","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Triangular decomposition of semi-algebraic systems"],"prefix":"10.1145","author":[{"given":"Changbo","family":"Chen","sequence":"first","affiliation":[{"name":"University of Western Ontario"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"James H.","family":"Davenport","sequence":"additional","affiliation":[{"name":"University of Bath"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"John P.","family":"May","sequence":"additional","affiliation":[{"name":"Maplesoft"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marc Moreno","family":"Maza","sequence":"additional","affiliation":[{"name":"University of Western Ontario"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bican","family":"Xia","sequence":"additional","affiliation":[{"name":"Peking University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rong","family":"Xiao","sequence":"additional","affiliation":[{"name":"University of Western Ontario"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2010,7,25]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1999.0269"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1197095"},{"key":"e_1_3_2_1_3_1","volume-title":"Proc. ASCM'09","author":"Boulier F.","unstructured":"F. Boulier , C. Chen , F. Lemaire , and M. Moreno Maza . Real root isolation of regular chains . In Proc. ASCM'09 . F. Boulier, C. Chen, F. Lemaire, and M. Moreno Maza. Real root isolation of regular chains. In Proc. ASCM'09."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2001.0463"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/968708.968710"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1073884.1073897"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/1965416"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/2396194.2396201"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1576702.1576718"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1277548.1277562"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/646589.697342"},{"key":"e_1_3_2_1_12_1","volume-title":"Bit-size estimates for triangular sets in positive dimension. Technical report","author":"Dahan X.","year":"2009","unstructured":"X. Dahan , A. Kadri , and \u00c9. Schost. Bit-size estimates for triangular sets in positive dimension. Technical report , University of Western Ontario , 2009 . X. Dahan, A. Kadri, and \u00c9. Schost. Bit-size estimates for triangular sets in positive dimension. Technical report, University of Western Ontario, 2009."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1073884.1073901"},{"key":"e_1_3_2_1_14_1","volume-title":"Computer Algebra","author":"Davenport J. H.","year":"1988","unstructured":"J. H. Davenport , Y. Siret , and E. Tournier . Computer Algebra . Academic Press , 1988 . J. H. Davenport, Y. Siret, and E. Tournier. Computer Algebra. Academic Press, 1988."},{"key":"e_1_3_2_1_15_1","volume-title":"B. Caviness and J. Johnson, eds","author":"Hong H.","year":"1998","unstructured":"H. Hong and J. R. Sendra . Computation of variant results , B. Caviness and J. Johnson, eds , Quantifier Elimination and Cylindrical Algebraic Decomposition , 1998 . H. Hong and J. R. Sendra. Computation of variant results, B. Caviness and J. Johnson, eds, Quantifier Elimination and Cylindrical Algebraic Decomposition, 1998."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1215\/S0012-7094-01-10934-4"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1576702.1576736"},{"key":"e_1_3_2_1_18_1","volume-title":"On triangular decompositions of algebraic varieties. MEGA-2000","author":"Maza M. Moreno","unstructured":"M. Moreno Maza . On triangular decompositions of algebraic varieties. MEGA-2000 , Bath, UK . http:\/\/www.csd.uwo.ca\/~moreno\/books-papers.html M. Moreno Maza. On triangular decompositions of algebraic varieties. MEGA-2000, Bath, UK. http:\/\/www.csd.uwo.ca\/~moreno\/books-papers.html"},{"issue":"4","key":"e_1_3_2_1_19_1","first-page":"345","article-title":"Sur des hauteurs alternatives III","volume":"74","author":"Philippon P.","year":"1995","unstructured":"P. Philippon . Sur des hauteurs alternatives III . J. Math. Pures Appl. , 74 ( 4 ): 345 -- 365 , 1995 . P. Philippon. Sur des hauteurs alternatives III. J. Math. Pures Appl., 74(4):345--365, 1995.","journal-title":"J. Math. Pures Appl."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(10)80005-7"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1999.0327"},{"key":"e_1_3_2_1_22_1","unstructured":"\u00c1. Sz\u00e1nt\u00f3.\n  Computation with polynomial systems\n  . PhD thesis Cornell University 1999\n  .  \u00c1. Sz\u00e1nt\u00f3. Computation with polynomial systems . PhD thesis Cornell University 1999."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.camwa.2006.06.003"},{"issue":"6","key":"e_1_3_2_1_25_1","first-page":"33","article-title":"A complete algorithm for automated discovering of a class of inequality-type theorems","volume":"44","author":"Yang L.","year":"2001","unstructured":"L. Yang , X. Hou , and B. Xia . A complete algorithm for automated discovering of a class of inequality-type theorems . Science in China, Series F , 44 ( 6 ): 33 -- 49 , 2001 . L. Yang, X. Hou, and B. Xia. A complete algorithm for automated discovering of a class of inequality-type theorems. Science in China, Series F, 44(6):33--49, 2001.","journal-title":"Science in China, Series F"},{"key":"e_1_3_2_1_26_1","volume-title":"Automated proving and discovering inequalities","author":"Yang L.","year":"2008","unstructured":"L. Yang and B. Xia . Automated proving and discovering inequalities . Science Press , Beijing , 2008 . L. Yang and B. Xia. Automated proving and discovering inequalities. Science Press, Beijing, 2008."},{"key":"e_1_3_2_1_27_1","first-page":"281","volume-title":"A3L'05","author":"Yang L.","year":"2005","unstructured":"L. Yang and B. Xia . Real solution classifications of a class of parametric semi-algebraic systems . In A3L'05 , pages 281 -- 289 , 2005 . L. Yang and B. Xia. Real solution classifications of a class of parametric semi-algebraic systems. In A3L'05, pages 281--289, 2005."}],"event":{"name":"ISSAC '10: International Symposium on Symbolic and Algebraic Computation","location":"Munich Germany","acronym":"ISSAC '10","sponsor":["Gesellschaft fur Informtatik","SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"]},"container-title":["Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1837934.1837972","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1837934.1837972","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:08:28Z","timestamp":1750248508000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1837934.1837972"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7,25]]},"references-count":26,"alternative-id":["10.1145\/1837934.1837972","10.1145\/1837934"],"URL":"https:\/\/doi.org\/10.1145\/1837934.1837972","relation":{},"subject":[],"published":{"date-parts":[[2010,7,25]]},"assertion":[{"value":"2010-07-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}