Reasoning about the elementary functions of complex analysis

Russell Bradford, Robert M Corless, James H Davenport, David J Jeffrey, Stephen M Watt

Research output: Contribution to journalArticlepeer-review

18 Citations (SciVal)


There are many problems with the simplification of elementary functions, particularly over the complex plane, though not exclusively - see (20). 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.
Original languageEnglish
Pages (from-to)303-318
Number of pages16
JournalAnnals of Mathematics and Artificial Intelligence
Issue number3
Publication statusPublished - 1 Nov 2002

Bibliographical note

ID number: ISI:000176501400005


Dive into the research topics of 'Reasoning about the elementary functions of complex analysis'. Together they form a unique fingerprint.

Cite this