论文部分内容阅读
探讨了初等平面几何命题机器证明的Groebner基方法,并给出了它的算法原理和实现方法,且通过实例说明了该方法简便易懂,用Maple实现也较易.
平面几何命题机器证明的Grbner基方法
【摘 要】
：
探讨了初等平面几何命题机器证明的Groebner基方法,并给出了它的算法原理和实现方法,且通过实例说明了该方法简便易懂,用Maple实现也较易.
【机 构】
：
广东商学院数学系
【出 处】
：
科学技术与工程
【发表日期】
：
2006年21期
【基金项目】
：
广东商学院自然科学基金（20044410592K02）资助
其他文献
阐述了采访工作在新世纪的内涵,指出网上文献采访将成为重要的发展方向.探讨了网上采访的模式,对作为网上采访重要依据的网络书目作了简要介绍.最后提出网上采访的困难及存在
P物质(substance P,SP)是第一个被发现的脑肠肽类物质.大量研究表明SP在激发非特异性免疫调节和诱发炎症等方面发挥着重要的功能.家兔的圆小囊是兔特有的肠道粘膜免疫器官,在
对黄土高原地区森林植被恢复前景及策略研究进展进行了概述和分析。分别从黄土高原地区森林植被恢复前景、植被恢复总体思路、植被生态建设分区这3个方面的相关研究情况进行
美国联邦教育部在全国范围内定期开展教育普查，并通过对普查结果和数据的整理和分析，科学地制定出未来一段时间内的教育规划。下面是经全国普查后统计的2013年前美国基础教育数
机电一体化技术是时代发展的产物,有利于我国制造业的健康发展。在新时代背景下,将机电一体化技术引入工程机械的应用,不仅可以减轻工作人员的工作压力,而且可以提高工程机械
目的观察砷化镓（GaAs）半导体激光穴位照射配合中药治疗急性期Bell麻痹的治疗效果。方法将69例急性期Bell麻痹病例随机分为治疗组（36例）与对照组（33例），治疗组采用砷化镓（GaAS）半导体激
通过从事情报机构文献工作的体会,对在新形势下高校情报机构的文献工作如何为教学和科研上质量上水平,如何为教师、科研人员和学生及时提供信息以及对文献收集、开展定题服务
通过对城市污水处理厂利用污水供热制冷原理的分析,讨论如何合理利用能源,并提出合理评价系统节能程度的方式.