它的符号计算比完全树法的简单得多。
Its sign evaluation is far simpler than the complete tree method.
计算数学的其他领域包括计算机代数和符号计算。
Other areas of computational mathematics include computer algebra and symbolic computation.
因此，符号计算主义对意向实在论的论证是不成功的。
Therefore, symbol computationalist argument for intentional realism is unsuccessful.
如果需要符号计算能力，那么Maxima就是一个非常好的选择。
If you need symbolic computation capabilities, Maxima is a useful alternative.
主要应用于模拟、数字方法、符号计算、软件和系统设计。
Mainly used in analog, digital, symbolic computation, software and system design.
可以很容易利用用户开发的用来进行语音处理、优化、符号计算等的包对它进行扩展。
It's also extensible, with packages developed by users for speech processing, optimization, symbolic computation, and others.
利用该方法，运用计算机符号计算，求出了变系数的一般浅水波方程的孤子解。
In this paper, based on the computerized symbolic computation, solutions of variable-coefficient the generalized shallow water wave equation are obtained.
此外，该方法较少地依赖符号计算，且核心算法是基于可靠的、数值的区间运算。
In addition, the core of the algorithm is based on reliable numerical interval operation.
符号计算主义的意向实在论论证的要点，是表明具有语义性质的命题态度的因果效力。
The intentional realist argument made by symbol computationalists is to show that propositional attitudes with semantic properties are causally efficacious.
Mathematica是一个计算环境，通过专用的符号语言为众多数值和符号计算提供支持。
Mathematica is a computing environment providing support for numerous numeric and symbolic computations through a dedicated symbolic language.
运用数论理论中素数的性质和特点，将符号计算问题转化为数值计算问题，设计了一个布尔表达式化简工具。
This paper applies the characters of primes in the mathematical theory of Numbers transfers the symbolic computation into value computation and designs a tool of Boolean expression simplification.
除了支持数值和符号计算，Mathematica还包括图像处理、并行的高性能计算(HPC)、交互式文档及其它内容。
Beside numerical and symbolic computational support, Mathematica includes image processing, parallel High-Performance Computing (HPC), interactive documents, and others.
目前，几何自动推理的主要方法有：基于数值计算的方法、基于符号计算的方法、基于规则的方法和基于图论的方法。
Now, the main methodology of AGD includes: numeric based method, symbol based method, rule base method and graph based method.
为研究转子 轴承系统中非线性油膜力引起的半速涡动 ，本文给出了将吴文俊消去法和符号计算相结合的分析方法。
In order to study half-speed whirl that is subjected to nonlinear oil force of rotor-bearing system, the Wu Elimination method and symbolic calculation method are combined in this paper.
这就给符号计算主义的意向实在论论证带来了问题：命题态度的语义性质如何能够对认知系统的行为具有因果相关性?。
This raises problems for the intentional realist argument: How is the semantic property of the propositional attitudes causally relevant to the behaviours of the cognitive system?
符号与数值混合计算是一种利用数值计算和符号计算方法解决大规模问题的计算方法，它为符号计算与数值计算提供一种新的思维模式和方法。
Symbolic-numerical computation is a novel method of solving large scale problems, which applies both numerical and symbolic methods in its algorithms and provides a new perspective of them.
符号与数值混合计算是一种利用数值计算和符号计算方法解决大规模问题的计算方法，它为符号计算与数值计算提供一种新的思维模式和方法。
Symbolic-numerical computation is a novel method of solving large scale problems, which applies both numerical and symbolic methods in its algorithms and provides a new perspective of them.
应用推荐