Reasoning about the elementary functions of complex analysis

Robert M. Corless, James H. Davenport, David J. Jeffrey, Gurjeet Litt, Stephen M. Watt

Research output: Chapter in Book/Report/Conference proceedingChapter

8 Citations (Scopus)

Abstract

There are many problems with the simplification of elementary functions, particularly over the complex plane. Systems tend to make major errors, 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 axe probably more amenable to the techniques of artificial intelligence and theorem proving than the original problem of complex-variable analysis.
Original languageEnglish
Title of host publicationArtificial Intelligence and Symbolic Computation
Subtitle of host publicationRevised Papers
EditorsJ. A. Campbell, E. Roanes-Lozano
Place of PublicationBerlin, Germany
PublisherSpringer
Pages115-126
Number of pages12
ISBN (Print)9783540420712
Publication statusPublished - 2001
EventInternational Conference Artificial Intelligence and Symbolic Computation (AISC), 2000 - Madrid, Spain
Duration: 17 Jul 200019 Jul 2000

Publication series

NameLecture Notes in Artificial Intelligence
Volume1930

Conference

ConferenceInternational Conference Artificial Intelligence and Symbolic Computation (AISC), 2000
CountrySpain
CityMadrid
Period17/07/0019/07/00

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

  • Cite this

    Corless, R. M., Davenport, J. H., Jeffrey, D. J., Litt, G., & Watt, S. M. (2001). Reasoning about the elementary functions of complex analysis. In J. A. Campbell, & E. Roanes-Lozano (Eds.), Artificial Intelligence and Symbolic Computation: Revised Papers (pp. 115-126). (Lecture Notes in Artificial Intelligence; Vol. 1930). Springer.