[fanxing39]

终于出现了 ，楼主！想死你了哈！
你说的这个方面，我想我们在看的人都没有涉足过，大部分人都是做数值计算的，我也是，但是我很讨厌数值计算，一个是方法多，另一个是计算机算出的结果，不太容易知道是不是正确的。 我记得有个院士好像在研究 智能推导，好像初中几何的证明，计算机可以完成推导。不知道这个是不是也属于你研究的领域！
我很感兴趣，但是怕耽误你，能否提供下这方面的扫盲的资料 符号计算需要的基础知识有哪些？


我的 邮箱： [email protected]

再次对你的研究感到钦佩！