【摘 要】
：
该文以括号代数在几何定理机器证明中的应用为理论依据,介绍了各种几何模型的括号表示和在某一坐标系下括号计算的公式,以Matlab6.1为平台,我们实现了半自然语言的射影几何定
论文部分内容阅读
该文以括号代数在几何定理机器证明中的应用为理论依据,介绍了各种几何模型的括号表示和在某一坐标系下括号计算的公式,以Matlab6.1为平台,我们实现了半自然语言的射影几何定量输入,完全自动的示意作图和基于括号代数的自动证明,特别地,实现了关于射影二次曲线的全自动作图和证明.应用这个软件,可以很方便地实现几何定理的机器证明.并同时自动生成符合定理条件的各种示意图.而不需要任何手画和其他人工干预.
其他文献
中共湖南省怀化市委针对广大基层干部的实际情况,从2000年开始,深入开展以学习“三个代表”重要思想,带头深入基层亲民,带头苦练本领富民,带头解决问题安民为主要内容的“一
该文实证研究了EWMA,GARCH和GARCH-EVT种VaR估计方法,力图通过我们的实证结果从这三种方法中筛选出较好适应中国股票市场的方法.全文将三种方法置于统一的随机游动的理论体系
该文讨论了解非奇异线性方程组的预条件方法与一般迭代法的比较理论.当A为一般Z矩阵时,对多种预条件方法,给出了关于广义块AOR,SSOR迭代法的一系列比较定理及相应的Stein-Ros
该文用四维变分同化方法进行土壤湿度的资料同化.首先,具体介绍了四维变分同化方法的基本原理和运用技巧,分为连续代价函数和离散代价函数两种形式进行阐述,并对伴随方程的两
该文从橡胶中碳黑分散度的质量智能评级模型的建立、实现和模型分析三个方面对碳黑分散度的智能评级的数学模型进行讨论.在模型的建立部分,提出采用子样转化法将特征指标的样
该文对GP-内射环从两个角度做了两种形式的推广,着重研究了EP-内射环和q-GP-内射模的性质.在§1.1中,首先引入了EP-内射环的概念,给出了它的几种等价刻画.在§1.2中,讨论了右
二项式理想与环簇是交换代数与代数几何中的重要研究内容，它们与组合学，辛几何，拓扑，特殊函数，凸几何等数学分支有深刻的联系，且在物理，编码，代数统计等领域有重要应用.本文将二项式
该文在第一章中,主要就二阶非线性脉冲微分方程的讨论,对其振动性给出了充分数据.通过利用平方技巧和脉冲时刻控制,对已有的振动条件进行了改进,给出了新的判据.该文在第二章
该文应用紧致差分方法的思想,发展了二维弹性波方程的紧致差分方法;研究了此格式的稳定性;利用Fourier分析方法比较了离散二阶空间导数的紧致差分格式与中心差分格式的相速度