Research

Reasoning about the elementary functions of complex analysis


Reference:

Bradford, R., Corless, R. M., Davenport, J. H., Jeffrey, D. J. and Watt, S. M., 2002. Reasoning about the elementary functions of complex analysis. Annals of Mathematics and Artificial Intelligence, 36 (3), pp. 303-318.

Related documents:

This repository does not currently have the full-text of this item.
You may be able to access a copy if URLs are provided below.

Official URL:

http://dx.doi.org/10.1023/A:1016007415899

Abstract

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.

Details

Item Type Articles
CreatorsBradford, R., Corless, R. M., Davenport, J. H., Jeffrey, D. J. and Watt, S. M.
DOI10.1023/A:1016007415899
DepartmentsFaculty of Science > Computer Science
RefereedYes
StatusPublished
ID Code5603
Additional InformationID number: ISI:000176501400005

Export

Actions (login required)

View Item