{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:32:32Z","timestamp":1750307552029,"version":"3.41.0"},"reference-count":10,"publisher":"Association for Computing Machinery (ACM)","issue":"3\/4","license":[{"start":{"date-parts":[[2012,1,23]],"date-time":"2012-01-23T00:00:00Z","timestamp":1327276800000},"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":["ACM Commun. Comput. Algebra"],"published-print":{"date-parts":[[2012,1,23]]},"DOI":"10.1145\/2110170.2110174","type":"journal-article","created":{"date-parts":[[2012,1,31]],"date-time":"2012-01-31T14:49:20Z","timestamp":1328021360000},"page":"166-168","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Computing the real solutions of polynomial systems with the RegularChains library in Maple"],"prefix":"10.1145","volume":"45","author":[{"given":"Changbo","family":"Chen","sequence":"first","affiliation":[{"name":"University of Western Ontario, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James H.","family":"Davenport","sequence":"additional","affiliation":[{"name":"University of Bath, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fran\u00e7ois","family":"Lemaire","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Lille 1, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc Moreno","family":"Maza","sequence":"additional","affiliation":[{"name":"University of Western Ontario, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bican","family":"Xia","sequence":"additional","affiliation":[{"name":"Peking University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rong","family":"Xiao","sequence":"additional","affiliation":[{"name":"University of Western Ontario, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuzhen","family":"Xie","sequence":"additional","affiliation":[{"name":"University of Western Ontario, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,1,23]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Proc. of ASCM'09","author":"Boulier F.","year":"2009","unstructured":"F. Boulier , C. Chen , F. Lemaire , and M. Moreno Maza . Real root isolation of regular chains . In Proc. of ASCM'09 , 2009 . F. Boulier, C. Chen, F. Lemaire, and M. Moreno Maza. Real root isolation of regular chains. In Proc. of ASCM'09, 2009."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/968708.968710"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1837934.1837972"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993886.1993903"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1576702.1576718"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1894483.1894485"},{"key":"e_1_2_1_7_1","volume-title":"Modeling and Analysis of Biological Systems","author":"Lemaire Fran\u00e7ois","year":"2008","unstructured":"Fran\u00e7ois Lemaire and Asli \u00dcrg\u00fcpl\u00fc . Modeling and Analysis of Biological Systems , 2008 . www.lifl.fr\/?urguplu. Fran\u00e7ois Lemaire and Asli \u00dcrg\u00fcpl\u00fc. Modeling and Analysis of Biological Systems, 2008. www.lifl.fr\/?urguplu."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1940475.1940500"},{"key":"e_1_2_1_9_1","first-page":"281","volume-title":"Proc. of the 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 Proc. of the A3L'05 , pages 281 -- 289 , 2005 . L. Yang and B. Xia. Real solution classifications of a class of parametric semi-algebraic systems. In Proc. of the A3L'05, pages 281--289, 2005."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11786-007-0022-6"}],"container-title":["ACM Communications in Computer Algebra"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2110170.2110174","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2110170.2110174","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:23:39Z","timestamp":1750249419000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2110170.2110174"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1,23]]},"references-count":10,"journal-issue":{"issue":"3\/4","published-print":{"date-parts":[[2012,1,23]]}},"alternative-id":["10.1145\/2110170.2110174"],"URL":"https:\/\/doi.org\/10.1145\/2110170.2110174","relation":{},"ISSN":["1932-2240"],"issn-type":[{"type":"print","value":"1932-2240"}],"subject":[],"published":{"date-parts":[[2012,1,23]]},"assertion":[{"value":"2012-01-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}