Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Reasoning about the Elementary Functions of Complex Analysis

Reasoning about the Elementary Functions of Complex Analysis 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. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Annals of Mathematics and Artificial Intelligence Springer Journals

Reasoning about the Elementary Functions of Complex Analysis

Download PDF
16 pages

Loading next page...
 
/lp/springer-journals/reasoning-about-the-elementary-functions-of-complex-analysis-dhhnwN2sGf

References (34)

Publisher
Springer Journals
Copyright
Copyright © 2002 by Kluwer Academic Publishers
Subject
Computer Science; Artificial Intelligence (incl. Robotics); Mathematics, general; Computer Science, general; Complex Systems
ISSN
1012-2443
eISSN
1573-7470
DOI
10.1023/A:1016007415899
Publisher site
See Article on Publisher Site

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.

Journal

Annals of Mathematics and Artificial Intelligence – Springer Journals

Published: Oct 10, 2004

There are no references for this article.