拟代数簇的投影及其在几何定理证明和公式推导中的应用

来源 :中国科学院数学与系统科学研究院 | 被引量 : 0次 | 上传用户:lei7863
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文给出一种关于拟代数簇投影的算法,并且应用几何定理的证明和非退化条件的推导上.通过这种方法,我们能够找到最弱的非退化条件.也就是说,定理当且仅当在不满足这些条件时不成立的.因此我们找到的是定理不成立的充要条件.另外,我们还用这种算法来进行公式推导,也得到很好的应用.每当给出理论上的方法后,我们都会举出若干个例子来说明一下方法的实际效果.文中给出的拟代数簇投影的算法,我们已经编写成了相应的Maple程序,各种例子也在计算机上成功的测试过.
其他文献
该文主要研究非光滑方程组问题,即求解F(x)=0,其中F为局部Lipschitz但非光滑函数.借助于一新的微分该文构造了两个非光滑牛顿法:算法1和算法2,一个光滑牛顿法:算法3.我们用算法1
内罚间断有限元方法和自适应方法都是数值求解电磁场的两类传统有效方法,本文考虑将两种方法结合用于求解H(cur1)-椭圆问题,并证明其收敛性.为此,先把有限元空间分解成棱有限元
本论文研究一类拟线性椭圆型方程-div(|Du|p-2Du)=λf(u)在Ω中,u=0在(a)Ω上(3)这里f(s)=sα-sβ,s≥0,p>1;β>α≥kN=(N+1)p-N/N-p;p<N.Ω是RN中的有界光滑区域。λ>0是参数,以及在全
本论文考虑一类具有营养循环的,营养Logistic增长的捕食-被捕食系统{x=r/Kx(K-x]-ayp(x)+b∫0+∞f(s)y(t-s)dsy=y[s(1-hy/x)]的全局稳定性问题. 为了研究其全局稳定性,在第
该文对309医院研制的DNA结核菌疫苗的动物试验数据进行统计分析,通过分析发现DNA疫苗具有保护效力,其中GI观察数据显示,小鼠肝部检出日期偏长,阳性率低,对于肝部数据,处理组
学位
对于一般的无约束优化问题,信赖域方法是一种有效而稳健的方法.其中信赖域子问题的求解是关键的一部分.基于Powell的单折线法、Dennis的双折线法和赵英良的切线单折线法,该文
该文讨论了目前普遍存在的同一种产品不同质量(好的产品和假冒产品)的混合库存情况.我们把对该库存产品的随机检查看做是该模型的冲击.随机检查该库存产品,发现假冒产品予以没
2009年6月2日,第十四届北京埃森焊接与切割展览会如期在上海新国际博览中心召开。当晚,威达集团为了答谢各界的支持,在上海光辉岁月大酒店隆重召开了“2009′威达集团埃森展
为了培养出更能符合社会需求的社会主义现代化新人,我国课改的力度在不断加强,实践也在不断深入。到目前为止,小学数学教学当中的反思性教学法经过一系列的摸索已经取得了一