{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T01:59:56Z","timestamp":1760061596504},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662441985"},{"type":"electronic","value":"9783662441992"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-44199-2_44","type":"book-chapter","created":{"date-parts":[[2014,7,31]],"date-time":"2014-07-31T22:17:11Z","timestamp":1406845031000},"page":"283-290","source":"Crossref","is-referenced-by-count":8,"title":["Real Quantifier Elimination 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":"44_CR1","doi-asserted-by":"crossref","unstructured":"Basu, S., Pollack, R., Roy, M.-F.: Algorithms in real algebraic geometry. Algorithms and Computations in Mathematics, vol.\u00a010. Springer (2006)","DOI":"10.1007\/3-540-33099-2"},{"key":"44_CR2","doi-asserted-by":"crossref","unstructured":"Bradford, R., Chen, C., Davenport, J.H., England, M., Moreno Maza, M., Wilson, D.: Truth table invariant cylindrical algebraic decomposition by regular chains (submitted, 2014), Preprint: http:\/\/opus.bath.ac.uk\/38344\/","DOI":"10.1007\/978-3-319-10515-4_4"},{"key":"44_CR3","doi-asserted-by":"crossref","unstructured":"Brown, C.W.: Solution Formula Construction for Truth Invariant CAD\u2019s. PhD thesis, University of Delaware (1999)","DOI":"10.1145\/309831.309890"},{"key":"44_CR4","doi-asserted-by":"crossref","unstructured":"Chen, C., Moreno Maza, M.: Quantifier elimination by cylindrical algebraic decomposition based on regular chains (Accepted for ISSAC 2014) (2014)","DOI":"10.1145\/2608628.2608666"},{"key":"44_CR5","unstructured":"Chen, C., Moreno Maza, M.: An incremental algorithm for computing cylindrical algebraic decompositions. In: Proc. ASCM 2012 (October 2012)"},{"key":"44_CR6","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":"44_CR7","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)"},{"issue":"3","key":"44_CR8","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1016\/S0747-7171(08)80152-6","volume":"12","author":"G.E. Collins","year":"1991","unstructured":"Collins, G.E., Hong, H.: Partial cylindrical algebraic decomposition. Journal of Symbolic Computation\u00a012(3), 299\u2013328 (1991)","journal-title":"Journal of Symbolic Computation"},{"key":"44_CR9","doi-asserted-by":"crossref","unstructured":"Hong, H.: Simple solution formula construction in cylindrical algebraic decomposition based quantifier elimination. In: ISSAC, pp. 177\u2013188 (1992)","DOI":"10.1145\/143242.143306"},{"key":"44_CR10","doi-asserted-by":"crossref","unstructured":"Sturm, T., Tiwari, A.: Verification and synthesis using real quantifier elimination. In: ISSAC, pp. 329\u2013336 (2011)","DOI":"10.1145\/1993886.1993935"},{"key":"44_CR11","doi-asserted-by":"crossref","unstructured":"Tarski, A.: A decision method for elementary algebra and geometry. University of California Press (1951)","DOI":"10.1525\/9780520348097"}],"container-title":["Lecture Notes in Computer Science","Mathematical Software \u2013 ICMS 2014"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44199-2_44","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,13]],"date-time":"2022-04-13T09:25:11Z","timestamp":1649841911000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-44199-2_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662441985","9783662441992"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44199-2_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}