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