{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T06:31:40Z","timestamp":1775802700898,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662441985","type":"print"},{"value":"9783662441992","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-44199-2_65","type":"book-chapter","created":{"date-parts":[[2014,7,31]],"date-time":"2014-07-31T22:17:11Z","timestamp":1406845031000},"page":"425-433","source":"Crossref","is-referenced-by-count":7,"title":["Cylindrical Algebraic Decomposition in the RegularChains Library"],"prefix":"10.1007","author":[{"given":"Changbo","family":"Chen","sequence":"first","affiliation":[]},{"given":"Marc","family":"Moreno Maza","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"65_CR1","doi-asserted-by":"crossref","unstructured":"Caviness, B., Johnson, J. (eds.): Quantifier Elimination and Cylindrical Algebraic Decomposition. Texts and Monographs in Symbolic Computation. Springer (1998)","DOI":"10.1007\/978-3-7091-9459-1"},{"issue":"6","key":"65_CR2","doi-asserted-by":"publisher","first-page":"610","DOI":"10.1016\/j.jsc.2011.12.023","volume":"47","author":"C. Chen","year":"2012","unstructured":"Chen, C., Moreno Maza, M.: Algorithms for computing triangular decomposition of polynomial systems. Journal of Symbolic Computation\u00a047(6), 610\u2013642 (2012)","journal-title":"Journal of Symbolic Computation"},{"key":"65_CR3","unstructured":"Chen, C., Moreno Maza, M.: An incremental algorithm for computing cylindrical algebraic decompositions. In: Proc. ASCM 2012 (October 2012)"},{"key":"65_CR4","doi-asserted-by":"crossref","unstructured":"Chen, C., Moreno Maza, M., Xia, B., Yang, L.: Computing cylindrical algebraic decomposition via triangular decomposition. In: ISSAC 2009, pp. 95\u2013102 (2009)","DOI":"10.1145\/1576702.1576718"},{"key":"65_CR5","doi-asserted-by":"crossref","unstructured":"Cheng, J.S., Gao, X.S., Yap, C.K.: Complete numerical isolation of real zeros in zero-dimensional triangular systems. In: ISSAC, pp. 92\u201399 (2007)","DOI":"10.1145\/1277548.1277562"},{"key":"65_CR6","series-title":"Lecture Notes in Computer Science","first-page":"515","volume-title":"Automata Theory and Formal Languages","author":"G.E. Collins","year":"1975","unstructured":"Collins, G.E.: Quantifier elimination for real closed fields by cylindrical algebraic decomposition. In: Brakhage, H. (ed.) GI-Fachtagung 1975. LNCS, vol.\u00a033, pp. 515\u2013532. Springer, Heidelberg (1975)"},{"key":"65_CR7","doi-asserted-by":"crossref","unstructured":"Davenport, J.H., Bradford, R.J., England, M., Wilson, D.J.: Program verification in the presence of complex numbers, functions with branch cuts etc. In: SYNASC, pp. 83\u201388 (2012)","DOI":"10.1109\/SYNASC.2012.68"},{"key":"65_CR8","unstructured":"Lu, Z.Y., He, B., Luo, Y., Pan, L.: An algorithm of real root isolation for polynomial systems. In: Wang, D.M., Zhi, L. (eds.) Proceedings of Symbolic Numeric Computation 2005, pp. 94\u2013107 (2005)"},{"issue":"6-7","key":"65_CR9","doi-asserted-by":"publisher","first-page":"853","DOI":"10.1016\/j.camwa.2006.06.003","volume":"52","author":"B. Xia","year":"2006","unstructured":"Xia, B., Zhang, T.: Real solution isolation using interval arithmetic. Comput. Math. Appl.\u00a052(6-7), 853\u2013860 (2006)","journal-title":"Comput. Math. Appl."}],"container-title":["Lecture Notes in Computer Science","Mathematical Software \u2013 ICMS 2014"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44199-2_65","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T13:13:07Z","timestamp":1558962787000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-44199-2_65"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662441985","9783662441992"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44199-2_65","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}