{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T02:04:11Z","timestamp":1760061851511},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319105147"},{"type":"electronic","value":"9783319105154"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10515-4_4","type":"book-chapter","created":{"date-parts":[[2014,9,1]],"date-time":"2014-09-01T01:23:50Z","timestamp":1409534630000},"page":"44-58","source":"Crossref","is-referenced-by-count":16,"title":["Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains"],"prefix":"10.1007","author":[{"given":"Russell","family":"Bradford","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Changbo","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James H.","family":"Davenport","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthew","family":"England","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Moreno Maza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Wilson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Bradford, R., Davenport, J.H.: Towards better simplification of elementary functions. In: Proc. ISSAC 2002, pp. 16\u201322. ACM (2002)","DOI":"10.1145\/780506.780509"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Bradford, R., Davenport, J.H., England, M., McCallum, S., Wilson, D.: Cylindrical algebraic decompositions for boolean combinations. In: Proc. ISSAC 2013, pp. 125\u2013132. ACM (2013)","DOI":"10.1145\/2465506.2465516"},{"key":"4_CR3","unstructured":"Bradford, R., Davenport, J.H., England, M., McCallum, S., Wilson, D.: Truth table invariant cylindrical algebraic decomposition. Preprint: arXiv:1401.0645"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-642-39320-4_2","volume-title":"Intelligent Computer Mathematics","author":"R. Bradford","year":"2013","unstructured":"Bradford, R., Davenport, J.H., England, M., Wilson, D.: Optimising problem formulations for cylindrical algebraic decomposition. In: Carette, J., Aspinall, D., Lange, C., Sojka, P., Windsteiger, W. (eds.) CICM 2013. LNCS, vol.\u00a07961, pp. 19\u201334. Springer, Heidelberg (2013)"},{"key":"4_CR5","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":"4_CR6","doi-asserted-by":"crossref","unstructured":"Brown, C.W.: Simplification of truth-invariant cylindrical algebraic decompositions. In: Proc. ISSAC 1998, pp. 295\u2013301. ACM (1998)","DOI":"10.1145\/281508.281652"},{"issue":"4","key":"4_CR7","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/968708.968710","volume":"37","author":"C.W. Brown","year":"2003","unstructured":"Brown, C.W.: An overview of QEPCAD B: A program for computing with semi-algebraic sets using CADs. SIGSAM Bulletin\u00a037(4), 97\u2013108 (2003)","journal-title":"SIGSAM Bulletin"},{"key":"4_CR8","doi-asserted-by":"publisher","first-page":"1157","DOI":"10.1016\/j.jsc.2005.09.011","volume":"41","author":"C.W. Brown","year":"2006","unstructured":"Brown, C.W., El Kahoui, M., Novotni, D., Weber, A.: Algorithmic methods for investigating equilibria in epidemic modelling. J. Symb. Comp.\u00a041, 1157\u20131173 (2006)","journal-title":"J. Symb. Comp."},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Brown, C.W., McCallum, S.: On using bi-equational constraints in CAD construction. In: Proc. ISSAC 2005, pp. 76\u201383. ACM (2005)","DOI":"10.1145\/1073884.1073897"},{"key":"4_CR10","unstructured":"Buchberger, B., Hong, H.: Speeding up quantifier elimination by Gr\u00f6bner bases. Technical report, 91-06. RISC, Johannes Kepler University (1991)"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-540-75187-8_7","volume-title":"Computer Algebra in Scientific Computing","author":"C. Chen","year":"2007","unstructured":"Chen, C., Golubitsky, O., Lemaire, F., Maza, M.M., Pan, W.: Comprehensive triangular decomposition. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2007. LNCS, vol.\u00a04770, pp. 73\u2013101. Springer, Heidelberg (2007)"},{"issue":"6","key":"4_CR12","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. J. Symb. Comp.\u00a047(6), 610\u2013642 (2012)","journal-title":"J. Symb. Comp."},{"key":"4_CR13","unstructured":"Chen, C., Moreno Maza, M.: An incremental algorithm for computing cylindrical algebraic decompositions. In: Proc. ASCM 2012. Springer (2012) (to appear) Preprint: arXiv:1210.5543"},{"key":"4_CR14","unstructured":"Chen, C., Moreno Maza, M.: Quantifier elimination by cylindrical algebraic decomposition based on regular chains. In: Proc. ISSAC 2014 (to appear, 2014)"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Chen, C., Moreno Maza, M., Xia, B., Yang, L.: Computing cylindrical algebraic decomposition via triangular decomposition. In: Proc. ISSAC 2009, pp. 95\u2013102. ACM (2009)","DOI":"10.1145\/1576702.1576718"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Collins, G.E.: Quantifier elimination for real closed fields by cylindrical algebraic decomposition. In: Proc. 2nd GI Conference on Automata Theory and Formal Languages, pp. 134\u2013183. Springer (1975)","DOI":"10.1007\/3-540-07407-4_17"},{"key":"4_CR17","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 for quantifier elimination. J. Symb. Comp.\u00a012, 299\u2013328 (1991)","journal-title":"J. Symb. Comp."},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Davenport, J.H., Bradford, R., England, M., Wilson, D.: Program verification in the presence of complex numbers, functions with branch cuts etc. In: Proc. SYNASC 2012, pp. 83\u201388. IEEE (2012)","DOI":"10.1109\/SYNASC.2012.68"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Dolzmann, A., Seidl, A., Sturm, T.: Efficient projection orders for CAD. In: Proc. ISSAC 2004, pp. 111\u2013118. ACM (2004)","DOI":"10.1145\/1005285.1005303"},{"key":"4_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/978-3-319-08434-3_5","volume-title":"Intelligent Computer Mathematics","author":"M. England","year":"2014","unstructured":"England, M., Bradford, R., Chen, C., Davenport, J.H., Maza, M.M., Wilson, D.: Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition. In: Watt, S.M., Davenport, J.H., Sexton, A.P., Sojka, P., Urban, J. (eds.) CICM 2014. LNCS, vol.\u00a08543, pp. 45\u201360. Springer, Heidelberg (2014)"},{"key":"4_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/978-3-642-39320-4_9","volume-title":"Intelligent Computer Mathematics","author":"M. England","year":"2013","unstructured":"England, M., Bradford, R., Davenport, J.H., Wilson, D.: Understanding branch cuts of expressions. In: Carette, J., Aspinall, D., Lange, C., Sojka, P., Windsteiger, W. (eds.) CICM 2013. LNCS, vol.\u00a07961, pp. 136\u2013151. Springer, Heidelberg (2013)"},{"key":"4_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1007\/978-3-662-44199-2_68","volume-title":"Mathematical Software \u2013 ICMS 2014","author":"M. England","year":"2014","unstructured":"England, M., Bradford, R., Davenport, J.H., Wilson, D.: Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition. In: Hong, H., Yap, C. (eds.) ICMS 2014. LNCS, vol.\u00a08592, pp. 450\u2013457. Springer, Heidelberg (2014)"},{"key":"4_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"458","DOI":"10.1007\/978-3-662-44199-2_69","volume-title":"Mathematical Software \u2013 ICMS 2014","author":"M. England","year":"2014","unstructured":"England, M., Wilson, D., Bradford, R., Davenport, J.H.: Using the Regular Chains Library to build cylindrical algebraic decompositions by projection and lifting. In: Hong, H., Yap, C. (eds.) ICMS 2014. LNCS, vol.\u00a08592, pp. 458\u2013465. Springer, Heidelberg (2014)"},{"key":"4_CR24","unstructured":"Fotiou, I.A., Parrilo, P.A., Morari, M.: Nonlinear parametric optimization using cylindrical algebraic decomposition. In: Proc. Decision and Control, European Control Conference 2005, pp. 3735\u20133740 (2005)"},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"Iwane, H., Yanami, H., Anai, H., Yokoyama, K.: An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination. In: Proc. SNC 2009, pp. 55\u201364 (2009)","DOI":"10.1145\/1577190.1577203"},{"key":"4_CR26","doi-asserted-by":"crossref","unstructured":"McCallum, S.: On projection in CAD-based quantifier elimination with equational constraint. In: Proc. ISSAC 1999, pp. 145\u2013149. ACM (1999)","DOI":"10.1145\/309831.309892"},{"key":"4_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-32347-8_1","volume-title":"Interactive Theorem Proving","author":"L.C. Paulson","year":"2012","unstructured":"Paulson, L.C.: Metitarski: Past and future. In: Beringer, L., Felty, A. (eds.) ITP 2012. LNCS, vol.\u00a07406, pp. 1\u201310. Springer, Heidelberg (2012)"},{"issue":"3","key":"4_CR28","first-page":"132","volume":"44","author":"N. Phisanbut","year":"2010","unstructured":"Phisanbut, N., Bradford, R.J., Davenport, J.H.: Geometry of branch cuts. ACM Communications in Computer Algebra\u00a044(3), 132\u2013135 (2010)","journal-title":"ACM Communications in Computer Algebra"},{"key":"4_CR29","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1016\/0196-8858(83)90014-3","volume":"4","author":"J.T. Schwartz","year":"1983","unstructured":"Schwartz, J.T., Sharir, M.: On the \u201cPiano-Movers\u201d Problem: II. General techniques for computing topological properties of real algebraic manifolds. Adv. Appl. Math.\u00a04, 298\u2013351 (1983)","journal-title":"Adv. Appl. Math."},{"issue":"9","key":"4_CR30","doi-asserted-by":"publisher","first-page":"1021","DOI":"10.1016\/j.jsc.2006.06.004","volume":"41","author":"A. Strzebo\u0144ski","year":"2006","unstructured":"Strzebo\u0144ski, A.: Cylindrical algebraic decomposition using validated numerics. J. Symb. Comp.\u00a041(9), 1021\u20131038 (2006)","journal-title":"J. Symb. Comp."},{"key":"4_CR31","doi-asserted-by":"crossref","unstructured":"Strzebo\u0144ski, A.: Computation with semialgebraic sets represented by cylindrical algebraic formulas. In: Proc. ISSAC 2010, pp. 61\u201368. ACM (2010)","DOI":"10.1145\/1837934.1837952"},{"issue":"2","key":"4_CR32","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1006\/jsco.1999.0355","volume":"30","author":"D. Wang","year":"2000","unstructured":"Wang, D.: Computing triangular systems and regular systems. J. Symb. Comp.\u00a030(2), 221\u2013236 (2000)","journal-title":"J. Symb. Comp."},{"issue":"2","key":"4_CR33","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/s11786-014-0191-z","volume":"8","author":"D. Wilson","year":"2014","unstructured":"Wilson, D., Bradford, R., Davenport, J.H., England, M.: Cylindrical algebraic sub-decompositions. Mathematics in Computer Science\u00a08(2), 263\u2013288 (2014)","journal-title":"Mathematics in Computer Science"}],"container-title":["Lecture Notes in Computer Science","Computer Algebra in Scientific Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10515-4_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T14:38:42Z","timestamp":1558967922000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10515-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319105147","9783319105154"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10515-4_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}