Bradford, Russell; Corless, Robert M.; Davenport, James H.; Jeffrey, David J.; Watt, Stephen M. Reasoning about the elementary functions of complex analysis. (English) Zbl 1007.30001 Ann. Math. Artif. Intell. 36, No. 3, 303-318 (2002). Summary: There are many problems with the simplification of elementary functions, particularly over the complex plane. Systems tend to make “howlers” or not to simplify enough. In this paper we outline the “unwinding number” approach to such problems, and show how it can be used to prevent errors and to systematise such simplification, even though we have not yet reduced the simplification process to a complete algorithm. The unsolved problems are probably more amenable to the techniques of artificial intelligence and theorem proving than the original problem of complex-variable analysis. Reviewer: Gabriela Kohr (Cluj-Napoca) Cited in 5 Documents MSC: 30A99 General properties of functions of one complex variable 26A09 Elementary functions Keywords:branch cuts; complex identities; multi-valued function; Riemann surface; elementary functions PDFBibTeX XMLCite \textit{R. Bradford} et al., Ann. Math. Artif. Intell. 36, No. 3, 303--318 (2002; Zbl 1007.30001) Full Text: DOI