Labfans是一个针对大学生、工程师和科研工作者的技术社区。 | 论坛首页 | 联系我们(Contact Us) |
![]() |
![]() |
#11 |
初级会员
注册日期: 2008-05-24
年龄: 37
帖子: 1
声望力: 0 ![]() |
![]()
强悍
![]() |
![]() |
![]() |
![]() |
#12 |
初级会员
注册日期: 2008-06-04
年龄: 56
帖子: 2
声望力: 0 ![]() |
![]()
看起来不错,但感觉上语法不友好。:redface:
|
![]() |
![]() |
![]() |
#13 |
初级会员
注册日期: 2008-06-18
年龄: 46
帖子: 1
声望力: 0 ![]() |
![]()
nu ah ...
|
![]() |
![]() |
![]() |
#14 |
初级会员
注册日期: 2007-12-22
年龄: 43
帖子: 2
声望力: 0 ![]() |
![]()
又见牛人,无限景仰
|
![]() |
![]() |
![]() |
#15 |
初级会员
注册日期: 2008-06-01
年龄: 68
帖子: 12
声望力: 17 ![]() |
![]()
哦,目前美国的多款数学软件由于都没有突破无限递归问题,所以,对解复合函数时,都需要用户设变量,先解得参数值赋予变量,而后才能解得复合函数,所以,有所谓的“语法”问题,而本软件是突破了符号解的,因此,不存在“语法”问题。举个不恰当的例子,这就同中国人与西方人在用餐方面有差异,中国人由厨师在厨房将菜肴切成可入口的大小,再根据不同菜式配以佐料,烹调后用餐者一双筷子就可吃不同的菜,而西方人刀叉齐备,调味酱若干,要用户自己来组配。
|
![]() |
![]() |
![]() |
#16 |
高级会员
注册日期: 2007-12-02
年龄: 44
帖子: 303
声望力: 31 ![]() ![]() ![]() ![]() |
![]()
终于出现了 ,楼主!想死你了哈!
你说的这个方面,我想我们在看的人都没有涉足过,大部分人都是做数值计算的,我也是,但是我很讨厌数值计算,一个是方法多,另一个是计算机算出的结果,不太容易知道是不是正确的。 我记得有个院士好像在研究 智能推导,好像初中几何的证明,计算机可以完成推导。不知道这个是不是也属于你研究的领域! 我很感兴趣,但是怕耽误你,能否提供下这方面的扫盲的资料 ![]() 我的 邮箱: [email protected] 再次对你的研究感到钦佩! |
![]() |
![]() |
![]() |
#17 |
初级会员
注册日期: 2008-06-01
年龄: 68
帖子: 12
声望力: 17 ![]() |
![]()
你好!
我们可以在此讨论,好吗? |
![]() |
![]() |
![]() |
#18 |
高级会员
注册日期: 2007-12-02
年龄: 44
帖子: 303
声望力: 31 ![]() ![]() ![]() ![]() |
![]()
这里交流的速度比较慢,你有qq没
我的qq是 59479317 我叫 朱琳 |
![]() |
![]() |
![]() |
#19 |
初级会员
注册日期: 2008-06-01
年龄: 68
帖子: 12
声望力: 17 ![]() |
![]()
你指的是吴文俊院士,他研究的是几何的计算机自动化证明问题,而符号计算涉及解决代数问题,譬如:前面有图片,介绍的就是三角函数的化简、分解因式,以及微分和不定积分解原函数等。
|
![]() |
![]() |
![]() |
#20 |
高级会员
注册日期: 2007-12-02
年龄: 44
帖子: 303
声望力: 31 ![]() ![]() ![]() ![]() |
![]()
如果要进行符号计算方面的研究,需要掌握哪些知识?
早就期待用中国人的方法来解决问题了,楼主上面的例子举的真是好,中国人就一把筷子吃遍所有菜肴,而西方人 有刀叉, 吃个鸡蛋还要先把鸡蛋放在专用的器皿里,然后用刀割,那个专用的器皿不过是起个固定鸡蛋的作用,真浪费呀! |
![]() |
![]() |