Reasoning about the elementary functions of complex analysis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1930, Issue , 2001, Pages 115-126

  Corless, Robert M ^a   Davenport, James H ^b   Jeffrey, David J ^a   Litt, Gurjeet ^a   Watt, Stephen M ^a  

^a UNIVERSITY OF WESTERN ONTARIO   (Canada)

^b UNIVERSITY OF BATH   (United Kingdom)

Author keywords

Branch cuts; Complex identities; Elementary functions

Indexed keywords

COMPUTATION THEORY;

BRANCH CUTS; COMPLEX ANALYSIS; COMPLEX IDENTITIES; COMPLEX PLANES; COMPLEX VARIABLE ANALYSIS; ELEMENTARY FUNCTION; UNSOLVED PROBLEMS;

ARTIFICIAL INTELLIGENCE;

EID: 84974715698     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44990-6_9     Document Type: Conference Paper

References (12)

1. Abramowitz,M. & Stegun,I., Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. US Government Printing Office, 1964. 10th Printing December 1972.
2. Bradford,R.J., Algebraic Simplification of Multiple-Valued Functions. Proc. DISCO '92(Spri nger Lecture Notes in Computer Science 721, ed. J.P. Fitch), Springer, 1993, pp. 13-21.
3. Carathéodory,C., Theory of functions of a complex variable (trans. F. Steinhardt), 2nd. ed., Chelsea Publ., New York, 1958.
4. Corless,R.M., Davenport,J.H., Jeffrey,D.J. & Watt,S.M., "According to Abramowitz and Stegun". To appear in SIGSAM Bulletin. OpenMath Project (Esprit 24969) deliverable 1.4.6.
5. Corless,R.M. & Jeffrey,D.J., The Unwinding Number. SIGSAM Bulletin 30 (1996) 2, pp. 28-35.
6. Davenport,J.H. & Fischer,H.-C., Manipulation of Expressions. Improving Floating-Point Programming (ed. P.J.L. Wallis), Wiley, 1990, pp. 149-167.
7. Encyclopedia Britannica, 15th. edition. Encyclopedia Britannica Inc., Chicago etc., 15th ed., 1995 printing.
8. IEEE Standard Pascal Computer Programming Language. IEEE Inc., 1983.
9. IEEE Standard 754 for Binary Floating-Point Arithmetic. IEEE Inc., 1985.
10. Kahan,W., Branch Cuts for Complex Elementary Functions. The State of Art in Numerical Analysis (ed. A. Iserles & M.J.D. Powell), Clarendon Press, Oxford, 1987, pp. 165-211.
11. Litt,G., Unwinding numbers for the Logarithmic, Inverse Trigonometric and Inverse Hyperbolic Functions. M.Sc. project, Department of Applied Mathematics, University of Western Ontario, December 1999.
12. Steele,G.L.,Jr., Common LISP: The Language, 2nd. edition. Digital Press, 1990.