计算机代数学的PROLOG实现

来源 :苏州大学学报(自然科学) | 被引量 : 0次 | 上传用户:asunsky1
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文应用人工智能的成果,研究了代数问题自动求解时可以采用的一些技术,还探讨了如何用人工智能语言PROLOG建造《代数自动求解系统》。从中提出了一些可行的算法。作者已利用这些算法设计了一个实验性的《代数自动求解系统》。系统运行表明,结果尚佳。
其他文献
我国关于广播电视的相关法律还不是很完善,这就给播放涉性节目的广播电台提供了投机取巧的天然条件。
有限元传递矩阵法与有限元法相结合用于带有某些不规则性(如孔洞、斜边)矩形板的分析,有限元传递矩阵法被用于规则区域 而有限元法被用于不规则区域,数值算例表明了本文方法
通过介绍GE Light Speed Ultra 8排螺旋CT机检查床的基本结构、床升降马达电流回路和马达的检修过程加深对检查床部分的认识,提高维修水平。
准分子激光治疗仪作为解决近视、远视、散光的眼科医疗设备在各大医院已广泛使用,针对此类价值昂贵、运行条件苛刻的激光类设备各医院相互交流较少,就我院此台准分子光路原理
上半年河北省经济形势的评价是经济运行呈现稳中向好、稳中有进的态势。主要特征表现为整体经济回升向好,转型塔尖级步伐加快,
轻钢龙骨结构是指厚度小于1.8mm的热轧卷材或板材在常温下经辊压、折弯等冷变形加工方法成型的钢构件。制造轻钢龙骨构件的钢材材质常用两类钢号,一类是普通碳素结构钢,其中Q235
为了进一步体现“嘎尔”代表性传承人及项目持有人的主体地位,遵循非遗的传承规律,6月8日上午,国家级非物质文化遗产名录“嘎尔”传习基地挂牌仪式和“嘎尔”国家级代表性传承人
一张彩色的纸放入一台单色多功能打印机复印,打印机瞬间扫描完毕,并通过网络,自动寻找适合的彩色打印机复印出来,这是4月17日惠普在上海的打印2.0战略发布会上的一个演示场景。
采用高校学生学籍变动情况统计表对全国1075所高校大学生身心健康状况进行总体调查的基础上,以求全面了解影响大学生身心健康的原因及其对策研究,以更好地推广和开展适合大学生身心