{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T02:01:26Z","timestamp":1760061686253},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662441985"},{"type":"electronic","value":"9783662441992"}],"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_69","type":"book-chapter","created":{"date-parts":[[2014,7,31]],"date-time":"2014-07-31T22:17:11Z","timestamp":1406845031000},"page":"458-465","source":"Crossref","is-referenced-by-count":9,"title":["Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting"],"prefix":"10.1007","author":[{"given":"Matthew","family":"England","sequence":"first","affiliation":[]},{"given":"David","family":"Wilson","sequence":"additional","affiliation":[]},{"given":"Russell","family":"Bradford","sequence":"additional","affiliation":[]},{"given":"James H.","family":"Davenport","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1-2","key":"69_CR1","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1006\/jsco.1999.0269","volume":"28","author":"P. Aubry","year":"1999","unstructured":"Aubry, P., Lazard, D., Moreno Maza, M.: On the theories of triangular sets. Journal of Symbolic Computation\u00a028(1-2), 105\u2013124 (1999)","journal-title":"Journal of Symbolic Computation"},{"key":"69_CR2","unstructured":"Boulier, F., Chen, C., Lemaire, F., Moreno Maza, M.: Real root isolation of regular chains. In: Proc. ASCM 2009, pp. 15\u201329 (2009)"},{"key":"69_CR3","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. To appear: Proc. CASC 2014 (2014), Preprint: \n                    \n                      http:\/\/opus.bath.ac.uk\/38344\/","DOI":"10.1007\/978-3-319-10515-4_4"},{"key":"69_CR4","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":"69_CR5","unstructured":"Bradford, R., Davenport, J.H., England, M., McCallum, S., Wilson, D.: Truth table invariant cylindrical algebraic decomposition (submitted 2014), Preprint: \n                    \n                      http:\/\/opus.bath.ac.uk\/38146\/"},{"key":"69_CR6","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 formulation 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":"69_CR7","doi-asserted-by":"crossref","unstructured":"Brown, C.W.: The McCallum projection, lifting, and order-invariance. Technical report, U.S. Naval Academy, Compt. Sci. Dept. (2005)","DOI":"10.21236\/ADA460719"},{"key":"69_CR8","doi-asserted-by":"crossref","unstructured":"Brown, C.W., Davenport, J.H.: The complexity of quantifier elimination and cylindrical algebraic decomposition. In: Proc. ISSAC 2007, pp. 54\u201360. ACM (2007)","DOI":"10.1145\/1277548.1277557"},{"key":"69_CR9","unstructured":"Chen, C., Davenport, J.H., May, J., Moreno Maza, M., Xia, B., Xiao, R., Xie, Y.: User interface design for geometrical decomposition algorithms in Maple. In: Proc. Mathematical User-Interface Workshop, 12 pages (2009)"},{"key":"69_CR10","unstructured":"Chen, C., Moreno Maza, M.: An incremental algorithm for computing cylindrical algebraic decompositions. In: Proc. ASCM 2012. Preprint: \n                    \n                      http:\/\/arxiv.org\/abs\/1210.5543"},{"key":"69_CR11","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":"69_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/3-540-07407-4_17","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. 134\u2013183. Springer, Heidelberg (1975)"},{"key":"69_CR13","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":"69_CR14","unstructured":"England, M.: An implementation of CAD in Maple utilising McCallum projection. Technical report, Uni. of Bath, Dept. Comp. Sci., 2013-02 (2013), \n                    \n                      http:\/\/opus.bath.ac.uk\/33180\/"},{"key":"69_CR15","unstructured":"England, M.: An implementation of CAD in Maple utilising problem formulation, equational constraints and truth-table invariance. Technical report, Uni. of Bath, Dept. Comp. Sci., 2013-04 (2013), \n                    \n                      http:\/\/opus.bath.ac.uk\/35636\/"},{"key":"69_CR16","series-title":"LNAI","first-page":"45","volume-title":"CICM 2014","author":"M. England","year":"2014","unstructured":"England, M., Bradford, R., Chen, C., Davenport, J.H., Moreno Maza, M., Wilson, D.: Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition. In: Watt, S.M. (ed.) CICM 2014. LNCS (LNAI), vol.\u00a08543, pp. 45\u201360. Springer, Heidelberg (2014)"},{"key":"69_CR17","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":"69_CR18","doi-asserted-by":"crossref","unstructured":"Li, X., Moreno Maza, M., Pan, W.: Computations modulo regular chains. In: Proc. ISSAC 2009, pp. 239\u2013246. ACM (2009)","DOI":"10.1145\/1576702.1576736"},{"key":"69_CR19","unstructured":"Moreno Maza, M.: On triangular decompositions of algebraic varieties. Presented at: Effective Methods in Algebraic Geometry, MEGA (2000)"},{"key":"69_CR20","doi-asserted-by":"crossref","unstructured":"McCallum, S.: An improved projection operation for cylindrical algebraic decomposition. In: Quantifier Elimination and Cylindrical Algebraic Decomposition. Texts & Monographs in Symbolic Computation, pp. 242\u2013268. Springer (1998)","DOI":"10.1007\/978-3-7091-9459-1_12"},{"key":"69_CR21","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"},{"issue":"2","key":"69_CR22","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1145\/321879.321890","volume":"22","author":"D.R. Musser","year":"1975","unstructured":"Musser, D.R.: Multivariate polynomial factorization. Journal of the ACM\u00a022(2), 291\u2013308 (1975)","journal-title":"Journal of the ACM"},{"issue":"2","key":"69_CR23","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. Journal of Symbolic Computation\u00a030(2), 221\u2013236 (2000)","journal-title":"Journal of Symbolic Computation"},{"key":"69_CR24","doi-asserted-by":"crossref","unstructured":"Wilson, D., Bradford, R., Davenport, J.H., England, M.: Cylindrical algebraic sub-decompositions. To appear: Mathematics in Computer Science. Springer (2014)","DOI":"10.1007\/s11786-014-0191-z"},{"key":"69_CR25","unstructured":"Wilson, D., Davenport, J.H., England, M., Bradford, R.: A \u201cpiano movers\u201d problem reformulated. In: Proc. SYNASC 2013. IEEE (2014)"},{"key":"69_CR26","unstructured":"The RegularChains Library, \n                    \n                      http:\/\/www.regularchains.org"}],"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_69","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T13:43:44Z","timestamp":1558964624000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-44199-2_69"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662441985","9783662441992"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44199-2_69","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}