论文部分内容阅读
综述性地介绍了最近几年来不等式机器证明领域的新近成果,比较了现有的几种方法,提出了一个新的研究方法。并以此方案寻找一类非负三元六次对称多项式空间的极小多项式。
一类多项式不等式的证明研究
【摘 要】
：
综述性地介绍了最近几年来不等式机器证明领域的新近成果,比较了现有的几种方法,提出了一个新的研究方法。并以此方案寻找一类非负三元六次对称多项式空间的极小多项式。
【机 构】
：
中国科学院成都计算机应用研究所
【出 处】
：
科学技术与工程
【发表日期】
：
2007年15期
【基金项目】
：
国家“973”计划(2004CB318003);中国科学院知识创新工程资助
其他文献
市场驱动价值链整合,培育企业核心竞争力。基于GE模型对北京现代种业从产业吸引力和企业竞争力两个维度进行分析,发现北京现代种业整合从宏观而言是产业链的完善度及产业集聚
随着我国经济水平的快速增长,我国企业的发展也迎来了新的变化。我国企业所具备的特殊性和市场环境中的竞争压力,都要求我国企业能够更加科学合理地加强资产管理。本文针对企
高校音乐理论课程主要是以提高音乐专业学生的理论素养为目的,着眼于学生未来本专业的长远发展。近些年,随着大学教育由精英化教育到大众化教育的转变,音乐专业的理论教学也
目的分析海南省2006—2012年尘肺病发病规律和特征,预测尘肺病发病趋势,为制定尘肺防治对策提供科学依据。方法以2006—2012年海南省确诊的尘肺病为研究对象,分别对地区分布
高中历史教学的有效性已经成为新课程背景下日益迫切的现实要求,无论是课堂教学目标的确立,还是教学目标的具体落实,都必须切实依据学生的实际发展状况及发展要求,立足学生的
在二十世纪初期中国现代美术活动窒碍难行的格局中,潘玉良凭借对艺术的追求和不懈的努力,冲破艰难险阻以破竹之势闯入中国画坛,成为我国最早赴欧洲学习绘画的女画家之一。她
双生子佯谬是相对论中一个古老的问题,但是,许多文献对它都未给出满意的说明.本文提出的双生子佯谬的新模型,能解决通常文献中出现的矛盾,并使相互对立的观点统一起来.
马克思主义在当代面临着种种困难与挑战。作为一种思想理论,马克思主义在当代的处境及其所具有的与时俱进的理论品质,表明马克思主义仍然具有强大的生命力。只有对马克思主义
小说作为文学作品,其类型的划分应以其内在的关系为依据。具体地说,就是应以内容与形式、意义与形象等相互关系为分类依据。根据这一原则,本文将中国古代小说分为“象征型”