【摘 要】
：
研究了三类根式不等式的有理化与机器证明.首先给出了三类根式不等式成立的充分必要条件,即等价的有理不等式组.然后介绍了伴随多项式概念,并建立了一个算法Simplex M.Simple
【基金项目】
：
国家民委资助项目(14XNZ023);四川省教育厅创新团队(15TD0050)
论文部分内容阅读
研究了三类根式不等式的有理化与机器证明.首先给出了三类根式不等式成立的充分必要条件,即等价的有理不等式组.然后介绍了伴随多项式概念,并建立了一个算法Simplex M.Simplex M能够处理带有连结词∧(and)和∨(or)的多项式不等式组.最后给出了大量的应用实例,证实了这一方法的有效性.
其他文献
鉴于军事体能训练是军校基层单位教学训练工作的重点之一,为提升军校基层单位体能训练水平,对当前部分军校基层单位体能训练中存在的训练内容设置不合理、缺乏目的性计划性、
微博经历了近八年的快速发展,现已进入了成熟期。在其自身发展的同时,也使当今社会的政治经济、文化动态和生活方式悄然地发生改变,并形成了一种新兴的微博文化。通过对微博
文章以广西河池市金城江五桥项目为例,通过改变箱梁内模结构,并采取相应砼浇筑顺序,从根本上解决了箱梁底板砼浇筑质量难以保证的问题,供其他类型梁体预制参考与借鉴。
利用山羊Sry基因设计引物,PCR扩增获得阿勒泰羊、藏系欧拉羊、藏系贾洛羊包含Sry基因整个编码区的雄性特异性片段.经测序及人工校对、剪切获得Sry基因编码区序列.分析结果表
BHK21细胞是多种动物病毒的易感宿主,是病毒疫苗生产的常用基质,为了解H1N1甲型流感病毒在BHK21细胞中的增殖规律,本研究建立了定量检测甲型H1N1流感病毒M基因表达水平的SYBR
分析了高校图书馆资产管理存在的问题,就如何实现网络环境下的文献资源共享、加强高校图书馆资产管理制度进行了探讨。
家庭健康档案管理是一项重要而繁琐的工作.随着计算机网络技术和移动通讯技术的发展,云计算凭借独特的构架设计、虚拟化技术和资源整合技术,来实现自动化资源监控和按需分配,
建筑工程项目在建设过程中存在诸多风险,这些风险具有不确定性,一旦发生将造成财产损失或人身伤害。保险是应对风险的有效措施之一,因此建筑企业必须重视工程保险合同管理。
介绍了计算渗流的方法,论述了生态需水的概念及计算方法,以北江河道为例,研究了河流的地下水位、渗流范围、渗流流量以及生态需水的作用,给出了北江河道的渗透计算表。
通过对中欧在投资领域合作的历程、现状的分析,提出了对中欧在投资领域合作的几点思考,展望了未来中欧在投资领域合作的前景。指出虽然中欧在投资领域的合作还存在诸多障碍和