符号计算，计算机代数在如今的发现现状怎样
【符号计算，计算机代数在如今的发现现状怎样】 并不是做计算代数/符号计算/..的，就当抛砖引玉：
举个例子，几个比较前沿的研究话题（它们互相之间联系紧密），SMT Solver/计算代数系统/约束求解系统/..等工具的：
nonlinear real arithmetic solving nonlinear interpolant generationreal quantifier elimination ... （有的并不新而且发展了多年如real QE，MMA，Matlab等系统都有相应库，但是效率一直堪忧）
形式验证中（不限于某语言，也可以是hybrid system等），借助上述工具或者自己内部实现， 可以用来做：nonlinear/polynomial numeric {invariant, ranking function, etc}的 checking/inference，以及其他各种任务（比如WCET分析什么的）...
其他应用如AI里的planning什么的了解不多。。
可以关注ISSAC（International Symposium on Symbolic and Algebraic Computation ）这个会议:)
■网友
感谢邀请。其实我不会回答，只说几句吧。几年前一个台湾朋友玩prolog，说分类问题就是回答Yes／No的问题，我觉得虽然他没有上很好的学校，但是很有想法的。我们称他为烤猫对于符号计算，我比较佩服Mathematica的能力，但是，说实话，如果我想把符号计算和数值计算相结合，会感觉很无力。我是做数值的，会MATLAB数学上，符号计算能力已经很不错了，但是我并不知道用途在哪。在计算群的时候用，在计算李群的时候我在用，但是效果也不是很好。代数数论里可能在用，但是我只看过一点解析数论。我做过李群符号计算相关的一些工作我倒是很喜欢计算机帮我解题的，但是像Mathematica这些东西给出来的解，要么看不懂，要么用不了。画图功能更启发我一个做理论的朋友至于是否有生命力，我说不上，但是现在大家喊FP的比较多。FP看多了也会倦所以，如果有这些工作出现，我会开心 更好的表示解 符号计算和数值计算紧密结合我并不会在这个方面提问题
推荐阅读
![[科普新讲堂]血脂高，看你是哪种原因导致的？](http://ttbs.guangsuss.com/image/b572ab86f21fd8ff8d21dd37e983e5e0)
- 有啥方法，网站，项目可以自己练习计算广告学
- 大部分黑客或安全研究员读的是啥「大学专业 」
- 在哈尔滨工业大学计算机系就读是啥样的体验
- 计算机技术与科学专业怎样利用高中毕业的暑假
- 非计算机专业想要利用课余时间深入自学C++，想要找到比较体面的工作大概需要啥水平
- 「巧克力中富含黄烷醇，能够增强脑部活动能力；因此人均巧克力消费量越高的国家，按人口平均计算的诺贝尔奖得主人数就越多。」这种说法科学么
- 有点计算机基础的人想尽快找份编程的工作。哪种编程的工作最好找还需要学些啥
- 硕士研究生选通信还是计算机视觉
- 华威大学计算机本科咋样
- 中兴努比亚 Z5 的边框到底有多窄