主題
Search

常數問題


給定一個包含已知常數的表示式,有限項積分,極限計算等等,常數問題是確定該表示式是否等於 。常數問題,有時也稱為恆等問題 (Richardson 1968),是超越數論中一個非常困難的未解決問題。然而,已知如果表示式涉及振盪函式(如正弦),則該問題是不可判定的。然而,Ferguson-Forcade 演算法是一種實用的演算法,用於確定是否存在整數 a_i 對於給定的實數 x_i 使得

 a_1x_1+a_2x_2+...+a_nx_n=0,

或者建立不存在關係的界限 (Bailey 1988)。


另請參閱

幾乎是整數, 幾乎為零, Ferguson-Forcade 演算法, Hermite-Lindemann 定理, 隱藏的零, 恆等於零, 整數關係, 積分問題, Richardson 定理, Schanuel 猜想, 一致性猜想

使用 探索

參考文獻

Bailey, D. H. "Numerical Results on the Transcendence of Constants Involving pi, e, and Euler's Constant." Math. Comput. 50, 275-281, 1988.Chow, T. Y. "What is a Closed-Form Number." Amer. Math. Monthly 106, 440-448, 1999.Chen, Z.-Z. and Kao, M.-Y. "Reducing Randomness via Irrational Numbers." 7 Jul 1999. http://arxiv.org/abs/cs.DS/9907011.Richardson, D. "Some Unsolvable Problems Involving Elementary Functions of a Real Variable." J. Symbolic Logic 33, 514-520, 1968.Richardson, D. "The Elementary Constant Problem." In Proc. Internat. Symp. on Symbolic and Algebraic Computation, Berkeley, July 27-29, 1992 (Ed. P. S. Wang). ACM Press, 1992.Richardson, D. "How to Recognize Zero." J. Symb. Comp. 24, 627-645, 1997.Sackell, J. "Zero-Equivalence in Function Fields Defined by Algebraic Differential Equations." Trans. Amer. Math. Soc. 336, 151-171, 1993.

在 上被引用

常數問題

引用為

Weisstein, Eric W. "常數問題。" 來自 --一個 Wolfram 網路資源。 https://mathworld.tw/ConstantProblem.html

主題分類