丹尼尔·理查森 简单科学计算中常数的零检验。 (英语) Zbl 1145.26001号 数学。计算。科学。 2007年第1期第21-37页. 摘要:最好有一种算法来确定科学计算中常见的常数之间的相等性。我们还不知道这是否可能。然而,众所周知,如果Schanuel猜想是真的,那么闭式数中的等式是可以由Turing决定的,也就是说,用域运算、根、指数和对数从有理数中建立的复数。本文描述了一种基于Schamanuel猜想的算法,以确定这些数字之间的相等性,并将其表示为表达式。该算法的代数部分比以前给出的用于解决相关问题的代数部分更简单。 引用于6文件 MSC公司: 26A09号 基本功能 11J85型 代数独立性;盖尔芬德方法 2015年3月1日 计算复杂性(包括隐式计算复杂性) 关键词:exp-log常数;零位测试;Schanuel猜想 PDF格式BibTeX公司 XML格式引用 \textit{D.Richardson},数学。计算。科学。1,第1号,21--37(2007;Zbl 1145.26001) 全文: 内政部