{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T02:00:39Z","timestamp":1760061639702,"version":"3.40.5"},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2002,11,1]],"date-time":"2002-11-01T00:00:00Z","timestamp":1036108800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,11,1]],"date-time":"2002-11-01T00:00:00Z","timestamp":1036108800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Mathematics and Artificial Intelligence"],"published-print":{"date-parts":[[2002,11]]},"DOI":"10.1023\/a:1016007415899","type":"journal-article","created":{"date-parts":[[2002,12,29]],"date-time":"2002-12-29T19:13:07Z","timestamp":1041189187000},"page":"303-318","source":"Crossref","is-referenced-by-count":20,"title":["Reasoning about the Elementary Functions of Complex Analysis"],"prefix":"10.1007","volume":"36","author":[{"given":"Russell","family":"Bradford","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert M.","family":"Corless","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James H.","family":"Davenport","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David J.","family":"Jeffrey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephen M.","family":"Watt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5089751_CR1","unstructured":"M. Abramowitz and I. Stegun, Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, 10th printing (US Government Printing Office, 1972)."},{"key":"5089751_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1007\/3-540-57272-4_20","volume-title":"Proc. DISCO'92","author":"R.J. Bradford","year":"1993","unstructured":"R.J. Bradford, Algebraic simplification of multiple-valued functions, in: Proc. DISCO'92, ed. J.P. Fitch, Lecture Notes in Computer Science, Vol. 721 (Springer, New York, 1993) pp. 13-21."},{"key":"5089751_CR3","volume-title":"Theory of Functions of a Complex Variable","author":"C. Carath\u00e9odory","year":"1958","unstructured":"C. Carath\u00e9odory, Theory of Functions of a Complex Variable, 2nd ed., transl. F. Steinhardt (Chelsea, New York, 1958).","edition":"2nd ed."},{"key":"5089751_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/3-540-44990-6_9","volume-title":"Artificial Intelligence and Symbolic Computation","author":"R.M. Corless","year":"2001","unstructured":"R.M. Corless, J.H. Davenport, D.J. Jeffrey, G. Litt and S.M. Watt, Reasoning about the elementary functions of complex analysis, in: Artificial Intelligence and Symbolic Computation, eds. J.A. Campbell and E. Roanes-Lozano, Lecture Notes in Artificial Intelligence, Vol. 1930 (Springer, New York, 2001) pp. 115-126."},{"issue":"2","key":"5089751_CR5","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1145\/362001.362023","volume":"34","author":"R.M. Corless","year":"2000","unstructured":"R.M. Corless, J.H. Davenport, D.J. Jeffrey and S.M. Watt, According to Abramowitz and Stegun, SIGSAM Bulletin 34(2) (2000) 58-65.","journal-title":"SIGSAM Bulletin"},{"issue":"2","key":"5089751_CR6","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1145\/235699.235705","volume":"30","author":"R.M. Corless","year":"1996","unstructured":"R.M. Corless and D.J. Jeffrey, The unwinding number, SIGSAM Bulletin 30(2) (1996), 28-35.","journal-title":"SIGSAM Bulletin"},{"key":"5089751_CR7","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1145\/294833.294839","volume":"321","author":"R.M. Corless","year":"1998","unstructured":"R.M. Corless and D.J. Jeffrey, Graphing elementary Riemann surfaces, SIGSAM Bulletin 32(1) (1998), 11-17.","journal-title":"SIGSAM Bulletin"},{"key":"5089751_CR8","first-page":"149","volume-title":"Improving Floating-Point Programming","author":"J.H. Davenport","year":"1990","unstructured":"J.H. Davenport and H.-C. Fischer, Manipulation of expressions, in: Improving Floating-Point Programming, ed. P.J.L. Wallis (Wiley, New York, 1990) pp. 149-167."},{"key":"5089751_CR9","unstructured":"Encyclopedia Britannica, 15th ed. (Encyclopedia Britannica Inc., Chicago, 1995)."},{"key":"5089751_CR10","doi-asserted-by":"crossref","first-page":"789","DOI":"10.1006\/jsco.1998.0240","volume":"26","author":"P. Gianni","year":"1998","unstructured":"P. Gianni, M. Sepp\u00e4l\u00e4, R. Silhol and B.M. Trager, Riemann surfaces, plane algebraic curves and their period matrices, J. Symbolic Comput. 26 (1998) 789-803.","journal-title":"J. Symbolic Comput."},{"key":"5089751_CR11","first-page":"169","volume-title":"Proc. ISSAC 2000","author":"N. Hur","year":"2000","unstructured":"N. Hur and J.H. Davenport, An exact real arithmetic with equality determination, in: Proc. ISSAC 2000, ed. C. Traverso (ACM, New York, 2000) pp. 169-174."},{"key":"5089751_CR12","unstructured":"IEEE Standard Pascal Computer Programming Language (IEEE, 1983)."},{"key":"5089751_CR13","unstructured":"IEEE Standard 754 for Binary Floating-Point Arithmetic (IEEE, 1985) reprinted in SIGPLAN Notices 22 (1987) 9-25."},{"key":"5089751_CR14","first-page":"165","volume-title":"The State of Art in Numerical Analysis","author":"W. Kahan","year":"1987","unstructured":"W. Kahan, Branch cuts for complex elementary functions, in: The State of Art in Numerical Analysis, eds. A. Iserles and M.J.D. Powell (Clarendon Press, Oxford, 1987) pp. 165-211."},{"key":"5089751_CR15","unstructured":"G. Litt, Unwinding numbers for the logarithmic, inverse trigonometric and inverse hyperbolic functions, M.Sc. project, Department of Applied Mathematics, University of Western Ontario (December 1999)."},{"key":"5089751_CR16","doi-asserted-by":"crossref","first-page":"743","DOI":"10.2307\/2373917","volume":"101","author":"R.H. Risch","year":"1979","unstructured":"R.H. Risch, Algebraic properties of the elementary functions of analysis, Amer. J. Math. 101 (1979) 743-759.","journal-title":"Amer. J. Math."},{"key":"5089751_CR17","unstructured":"G.L. Steele, Jr., Common LISP: The Language, 2nd ed. (Digital Press, 1990)."},{"issue":"4","key":"5089751_CR18","first-page":"15","volume":"6","author":"M. Trott","year":"1997","unstructured":"M. Trott, Visualization of Riemann surfaces of algebraic functions, Mathematica in Education and Research 6(4) (1997) 15-36.","journal-title":"Mathematica in Education and Research"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1016007415899.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1016007415899\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1016007415899.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:39:47Z","timestamp":1747546787000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1016007415899"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,11]]},"references-count":18,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2002,11]]}},"alternative-id":["5089751"],"URL":"https:\/\/doi.org\/10.1023\/a:1016007415899","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"type":"print","value":"1012-2443"},{"type":"electronic","value":"1573-7470"}],"subject":[],"published":{"date-parts":[[2002,11]]}}}