Internally, Z3 USES real algebraic Numbers for representing the solution.
在内部,Z3使用真实代数数字用于表示解。
This paper discusses an algebraic property of values of rational degrees of triangle functions. We obtain that they are all algebraic Numbers.
本文讨论了三角函数在有理度数上的取值的代数性质,得出其取值均为代数数。
Then he considers the case of algebraic numbers and obtains some results like the following: Every real algebraic number field of finite degree is non-inductive;
然后着重在代数范围内进行讨论,得到下列的结果:每个有限次实代数数域都不是归纳域;
The self-similar measure has been studied since 1930's, revealing connections with harmonic analysis, the theory of algebraic numbers, dynamical systems and Hausdorff dimension estimation.
自相似测度的研究可以追溯到上个世纪30年代,随着研究的深入,人们逐渐发现它与调和分析、代数数论、动力系统及维数的估计都有密切的联系。
The self-similar measure has been studied since 1930's, revealing connections with harmonic analysis, the theory of algebraic numbers, dynamical systems and Hausdorff dimension estimation.
自相似测度的研究可以追溯到上个世纪30年代,随着研究的深入,人们逐渐发现它与调和分析、代数数论、动力系统及维数的估计都有密切的联系。
应用推荐