{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T19:55:43Z","timestamp":1725738943277},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642393198"},{"type":"electronic","value":"9783642393204"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39320-4_9","type":"book-chapter","created":{"date-parts":[[2013,7,1]],"date-time":"2013-07-01T07:22:52Z","timestamp":1372663372000},"page":"136-151","source":"Crossref","is-referenced-by-count":8,"title":["Understanding Branch Cuts of Expressions"],"prefix":"10.1007","author":[{"given":"Matthew","family":"England","sequence":"first","affiliation":[]},{"given":"Russell","family":"Bradford","sequence":"additional","affiliation":[]},{"given":"James H.","family":"Davenport","sequence":"additional","affiliation":[]},{"given":"David","family":"Wilson","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Abramowitz, M., Stegun, I.A.: Handbook of mathematical functions. National Bureau of Standards (1964)"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Beaumont, J., Bradford, R., Davenport, J.H., Phisanbut, N.: A poly-algorithmic approach to simplifying elementary functions. In: Proc. ISSAC 2004. ACM (2004)","DOI":"10.1145\/1005285.1005292"},{"key":"9_CR3","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1007\/s00200-007-0052-y","volume":"18","author":"J. Beaumont","year":"2007","unstructured":"Beaumont, J., Bradford, R., Davenport, J.H., Phisanbut, N.: Testing elementary function identities using CAD. Applicable Algebra in Engineering, Communication and Computing\u00a018, 513\u2013543 (2007)","journal-title":"Applicable Algebra in Engineering, Communication and Computing"},{"key":"9_CR4","unstructured":"Beaumont, J., Phisanbut, N., Bradford, R.: Practical simplification of elementary functions using CAD. In: Dolzmann, A., Seidl, A., Sturm, T. (eds.) Proc. Algorithmic Algebra and Logic, Passau (2005)"},{"key":"9_CR5","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":"9_CR6","doi-asserted-by":"crossref","unstructured":"Bradford, R., Davenport, J.H.: Better simplification of elementary functions through power series. In: Proc. ISSAC 2003. ACM (2003)","DOI":"10.1145\/780506.780509"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Bradford, R., Davenport, J.H., England, M., McCallum, S., Wilson, D.: Cylindrical algebraic decompositions for boolean combinations. In Press: Proc. ISSAC 2013 (2013), Preprint at \n                    \n                      http:\/\/opus.bath.ac.uk\/33926\/","DOI":"10.1145\/2465506.2465516"},{"key":"9_CR8","series-title":"LNAI","first-page":"19","volume-title":"CICM 2013","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 (LNAI), vol.\u00a07961, pp. 19\u201334. Springer, Heidelberg (2013)"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-642-02614-0_21","volume-title":"Intelligent Computer Mathematics","author":"J. Carette","year":"2009","unstructured":"Carette, J., Farmer, W.M.: A review of Mathematical Knowledge Management. In: Carette, J., Dixon, L., Coen, C.S., Watt, S.M. (eds.) Calculemus\/MKM 2009. LNCS, vol.\u00a05625, pp. 233\u2013246. Springer, Heidelberg (2009)"},{"key":"9_CR10","unstructured":"Cheb-Terrab, E.S.: The function wizard project: A computer algebra handbook of special functions. In: Proceedings of the Maple Summer Workshop. University of Waterloo, Canada (2002)"},{"issue":"3","key":"9_CR11","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1145\/362001.362023","volume":"34","author":"R.M. Corless","year":"2000","unstructured":"Corless, R.M., Davenport, J.H., Jeffrey, D.J., Watt, S.M.: According to Abramowitz and Stegun. SIGSAM Bulletin\u00a034(3), 58\u201365 (2000)","journal-title":"SIGSAM Bulletin"},{"key":"9_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-540-73086-6_5","volume-title":"Towards Mechanized Mathematical Assistants","author":"J.H. Davenport","year":"2007","unstructured":"Davenport, J.H.: What might \u201cUnderstand a function\u201d mean? In: Kauers, M., Kerber, M., Miner, R., Windsteiger, W. (eds.) MKM\/CALCULEMUS 2007. LNCS (LNAI), vol.\u00a04573, pp. 55\u201365. Springer, Heidelberg (2007)"},{"key":"9_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-14128-7_1","volume-title":"Intelligent Computer Mathematics","author":"J.H. Davenport","year":"2010","unstructured":"Davenport, J.H.: The challenges of multivalued \u201dfunctions\u201d. In: Autexier, S., Calmet, J., Delahaye, D., Ion, P.D.F., Rideau, L., Rioboo, R., Sexton, A.P. (eds.) AISC 2010. LNCS, vol.\u00a06167, pp. 1\u201312. Springer, Heidelberg (2010)"},{"key":"9_CR14","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":"9_CR15","doi-asserted-by":"crossref","unstructured":"Dingle, A., Fateman, R.J.: Branch cuts in computer algebra. In: Proc. ISSAC 1994, pp. 250\u2013257. ACM (1994)","DOI":"10.1145\/190347.190424"},{"key":"9_CR16","unstructured":"Kahan, W.: Branch cuts for complex elementary functions. In: Iserles, A., Powell, M.J.D. (eds.) Proceedings The State of Art in Numerical Analysis, pp. 165\u2013211. Clarendon Press (1987)"},{"key":"9_CR17","unstructured":"Markushevich, A.I.: Theory of Functions of a Complex Variable I (translated by Silverman, R.A.). Prentice-Hall (1965)"},{"key":"9_CR18","unstructured":"Olver, W.J., Lozier, D.W., Boisvert, R.F., Clark, C.W. (eds.): NIST Handbook of Mathematical Functions. Cambridge University Press (2010), Print companion to [21]"},{"key":"9_CR19","unstructured":"Phisanbut, N.: Practical Simplification of Elementary Functions using Cylindrical Algebraic Decomposition. PhD thesis, University of Bath (2011)"},{"issue":"3","key":"9_CR20","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":"9_CR21","unstructured":"National Institute for Standards and Technology. The NIST digital library of mathematical functions, \n                    \n                      http:\/\/dlmf.nist.gov\n                    \n                    \n                   Online companion to [18]"}],"container-title":["Lecture Notes in Computer Science","Intelligent Computer Mathematics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39320-4_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T02:37:47Z","timestamp":1557887867000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39320-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642393198","9783642393204"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39320-4_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}