论文部分内容阅读
建立了一个把半正定稀疏多项式表为多项式平方和的算法.这一算法依赖于Hilbert第17问题的一系列经典研究结果以及实闭域上量词消去的柱形代数剖分算法.该算法的机器实现为一类代数不等式可读性证明的自动生成提供了一种非常自然的途径.
一类半正定多项式的平方和分解及其表达式的自动生成
【摘 要】
：
建立了一个把半正定稀疏多项式表为多项式平方和的算法.这一算法依赖于Hilbert第17问题的一系列经典研究结果以及实闭域上量词消去的柱形代数剖分算法.该算法的机器实现为一
【机 构】
：
中国科学院成都计算机应用研究所
【出 处】
：
计算机学报
【发表日期】
：
2006年10期
【基金项目】
：
本课题得到国家“九七三”重点基础研究发展规划项目基金（2004CB318003）资助.
其他文献
【正】5月11日,省电力公司法律顾问诉讼专业知识竞赛(模拟法庭)选拔赛进入最后的决赛,武汉供电公司一队与鄂州供电公司代表队就"王某诉A市多经企业台风刮倒工棚致害案"一案展
企业文化,绝不仅仅是喊个口号、办个刊物、开展一些活动。企业文化,应该是企业上下共同认可的一种价值观,是从总经理到班组长、到一线工人,每一个人都认同的思想、理念。在9
通山县供电公司厦铺供电营业所有一个由7名女员工组成的收费班,她们每月都随台区管理员一起上门收费。厦铺镇是一个贫困乡镇,有13300余户用电客户。由于山路难行,只有十分之
它曾荣膺诸多荣誉:全国五一劳动奖状、中国电建企业前六强、中国(PM)项目管理创新型百强企业、全国第一批国际质量信用5A等级企业、湖北省最佳文明单位、国家电网优质工程奖
【正】"可以登塔。"监护人话音刚落,只见一位头戴蓝色安全帽,身着灰色工装的电工蹭地窜上铁塔。转眼间他已系好安全带,开始与塔下的同伴配合。塔上,高空健儿一丝不苟,几近透
【正】强学力行见实效,科学发展上水平。在学习实践科学发展观活动中,湖北电力公司党委高度重视,认真准备,精心组织,力求实效,紧密结合企业实际,把学习实践活动作为推进企业
【正】策划人语1月6日22时,晋东南-南阳-荆门特高压交流试验示范工程顺利通过168小时试运行考核,正式投入运行。这,无疑是2009年业内第一个令人振奋的重大利好。
【正】电网是能源产业链的重要环节,是电力输送的载体,具备优化能源资源配置方式,提高配置效率的基本功能。电网企业贯彻落实科学发展观,必须立足当前、着眼长远,把加快电网
受到科学技术日益进步的影响,我国建筑工程领域开始重视运用BIM技术,使其在工程建设当中发挥出至关重要的作用。对比从前的数据信息管理,基于BIM5D技术下的工程施工管理与其