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