【摘 要】
：
以牛顿多胞型技术为基础,根据牛顿多胞型中的点与点之间的相关性,给出了直接搜索多项式配平方和所需的最基本的项集Xs的算法,利用精确的符号算法PCAD,可将一类半正定多项式配
【机 构】
：
中国科学院成都计算机应用研究所,成都,610041
论文部分内容阅读
以牛顿多胞型技术为基础,根据牛顿多胞型中的点与点之间的相关性,给出了直接搜索多项式配平方和所需的最基本的项集Xs的算法,利用精确的符号算法PCAD,可将一类半正定多项式配成平方和,并编写了Maple程序“ASSOS”,实现了多项式配平方和的自动生成.由多项式结构的稀疏性,此算法更能有效处理稀疏多项式.这一算法提高了多项式配平方和的效率,从而促进了一类代数不等式可读性证明的自动生成.除此之外,还给出了多项式不能表示为平方和的一个充分条件.
其他文献
在产品差异的情况下,消费者对各公司产品偏好不同从而公司定价优势也不同.以市场需求和定价优势为随机变量,建立了一个非对称双寡头期权博弈模型来研究异质公司的策略投资问
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
词切分是像汉语这类非拉丁语言的一个特有问题,并且由于汉语组词中普遍存在着歧义性和语境依赖性,这一问题也是一个尚未得到彻底解决的难题.本文通过仔细分析汉语分词歧义的
量词和含量词短语的分析排歧是汉语文本自动分析中的难点之一.本文总结了量词与名词、数词、形容词在语法和语义上的相互制约关系,并说明了如何将这些制约关系应用于相关短语
设E是任意的实Banach空间,C是E的非空凸子集(C可以是E的无界子集),T:C→C是→致L-Lipschitz的渐近拟伪压缩型映象,在对参数的一些限制条件下,该文给出了带误差的修改的Ishika
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
2018年6月20日下午,区科技厅举办2018年第2期“科技讲堂”,西藏藏医学院副院长、北京中医药大学教授、博士生导师刘铜华以“藏医药发展的机遇、挑战与对策”为主题作了专题讲
综合利用离散补充变量法、矩阵几何解及拟生灭链的方法研究了带有负顾客及伯努利反馈的Geo/Geo/1多重工作休假排队系统.首先运用离散补充变量方法得到了此复杂系统的转移概率
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7