符号计算有什么用？好像擅长符号计算的软件都不流行？

数值计算软件非常多，而符号计算软件就没那么多，是不是因为符号计算没什么实用性呢

热心的回应 · 2019-6-10 00:47:10

理论上的理由：符号运算是不完备的。
考虑自然数上的丢番图方程
构造级数
计算这个级数的和是不可判定问题（因为它牵涉到解不定方程），因此符号约简体系永远是不完备的。
（数值计算系统则没有这个忧虑，因为它无法包容无穷大。）

实践上的理由：符号运算很难。
Mathematica 之类的代数大量依赖模式匹配，所以基本上每一个代数系统都自备一个知识库——然而知识库毕竟有限，即使不考虑那些不可判定的问题，仍然有知识库无法涵盖的问题——导致运算失败。

ps. 计算初等函数的不定积分的算法叫 Risch 算法，但是它会检查某个函数是否恒为 0（常值问题），这个问题是否可判定目前尚不清楚。
pss. 判断两个初等代数式是否相等的问题（也就是「常值问题」）的可判定性依赖「初等」函数的定义。根据 Richardson 的结论，只要绝对值被包含在内，那么这个问题就是不可判定的。

热心的回应 · 2019-6-10 00:47:11

老彭写的

热心的回应 · 2019-6-10 00:47:12

热心的回应 · 2019-6-10 00:47:13

我的专业是组合导航，要用到卡尔曼滤波，状态方程是20维的。
那个大矩阵推起来是很麻烦的，用Matlab的符号计算就方便多啦~

热心的回应 · 2019-6-10 00:47:14

比如，求符号微积分，求解微分方程。

符号计算有什么用？好像擅长符号计算的软件都不流行？

5 个回复