| Labfans是一个针对大学生、工程师和科研工作者的技术社区。 | 论坛首页 | 联系我们(Contact Us) |
 |
| Labfans是一个针对大学生、工程师和科研工作者的技术社区。 | 论坛首页 | 联系我们(Contact Us) |
|
2008-06-19, 01:54
|
#22 |
|
初级会员
注册日期: 2008-06-01
年龄: 68
帖子: 12
声望力: 17  |
回复：fanxing39
你指的是吴文俊院士，他研究的是几何的计算机自动化证明问题，而符号计算涉及解决代数问题，譬如：前面有图片，介绍的就是三角函数的化简、分解因式，以及微分和不定积分解原函数等。
|
|
|
树形模式