Reasoning about the Elementary Functions of Complex Analysis
Reasoning about the Elementary Functions of Complex Analysis
复制标题
复分析初等函数的推理
DOI：
10.1023/a:1016007415899
复制
发表时间：
2000
影响因子：
1.2
通讯作者：
S. Watt
中科院分区：
文献类型：
--
作者：
Robert M Corless;J. Davenport;D. J. Jeffrey;Gurjeet Litt;S. Watt
初等函数的简化有许多问题，特别是在复平面上，尽管不是唯一的问题——参见（20）。系统往往会产生“咆哮”或不够简化。在本文中，我们概述了解决此类问题的“解卷数”方法，并展示了如何使用它来防止错误并将这种简化系统化，尽管我们尚未将简化过程简化为完整的算法。未解决的问题可能更适合于人工智能技术和定理证明，而不是复杂变量分析的原始问题。
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.