论文部分内容阅读
复数域上近似定理证明的方法:首先将一个初等命题转变为多项式的零点问题,然后在一个更大的域上将此理想分解为一些正规分支的交.算法可快速判定命题在忽略一个低维部分的真假.分析了此算法的复杂度,对相伴多项式(退化条件)的次数进行估计并与已有结果进行比较.
近似定理证明中的退化条件
【摘 要】
：
复数域上近似定理证明的方法:首先将一个初等命题转变为多项式的零点问题,然后在一个更大的域上将此理想分解为一些正规分支的交.算法可快速判定命题在忽略一个低维部分的真
【机 构】
：
西北师范大学计算中心,兰州大学信息与工程学院计算机科学系
【出 处】
：
兰州大学学报：自然科学版
【发表日期】
：
2001年3期
其他文献
在互联网飞速发展的今天,网络用户规模不断攀升,网络信息数量日益增长,尤其以社交网络为代表的互动性平台,更是紧密连接了每一个现实个体与虚拟的网络空间。由于互联网的各个虚拟主体背后的操控者是现实中的真实个体,通过对互联网中的基本特征的深入挖掘,可以分析网络主体在现实中特定行为的倾向性。社会的不断发展,催生了对公共安全的更高需求,尤其是犯罪预测等方面。在此背景下,本文以犯罪社会学相关学科为依据,分析了大
对双线性Calderón-Zygmund算子的核条件进行讨论，并且对Grafakos与Torres的相关定理给出了相关的注记。
高校图书馆报刊杂志阅览室读者行为失范分为主观无意识行为失范和主观恶意行为失范两种，通过对两种不同失范行为的分析，指出阅览室应实行加强读者管理、提供资料复制设备设施、
考虑在终端值已知的前提下重构二阶抛物型方程系数的反问题，此类反问题在许多应用科学领域具有重要意义．基于最优控制框架下，建立了控制泛函极小元的存在性和所满足的必要条件，并
芜湖是皖江城市带核心城市,是安徽加速崛起的增长极,在承接产业转移、参与泛长三角发展分工中具有重要的战略地位。《皖江城市带承接产业转移示范区规划》的出台将为芜湖县发
根据教育部对高职高专英语教学的要求，高职类院校的英语口语教学是以实用为目的。我国长期以来非常重视英语I：1语，虽然在教学实践中取得了一定的成绩，但也存在不少问题。通过对交
马尾松毛虫Dendrolimuspunctatus Walker隶属于鳞翅目(Lepidoptera)枯叶蛾科(Lasiocampidae)松毛虫属(Dendrolimus),是我国危害最严重的森林害虫之一。马尾松毛虫广泛分布于我国秦岭淮河以南的各省、市、自治区,经常大面积爆发,严重影响林木生长发育。为了探讨马尾松毛虫地理种群间遗传结构、种群动态、起源及扩散,本研究从9个省份(湖北、湖南、江西、四
通过溶胶凝胶法低温下合成了Cr与Mn不同计量比的一系列正极材料LiCrxMn2-xO4,并用DTA,TGA,TEM,XRD,FT-IR对其形貌及其结构进行了表征.结果表明采用该方法在450℃的低温下即可
毛泽东农民教育思想是毛泽东思想的重要组成部分,历经新民主主义革命、社会主义革命及社会主义建设时期,是具有中国特色的、关于农民教育的正确理论原则和经验总结。它又是不