期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
拟代数簇包含关系的判定算法
1
作者
王继民
李廉
《兰州大学学报（自然科学版）》
CAS
CSCD
北大核心
2002年第1期6-10,共5页
判定拟代数簇的包含关系问题不能由计算其相应的饱和理想来确定 .利用一阶逻辑等价公式 ,将拟代数簇的包含关系问题化为检验另一个拟代数簇是否为空的问题 ,之后用 Grobner基方法加以判定 .
关键词
拟代数簇
包含关系
逻辑转换
判定算法
Groebner基方法
一阶逻辑等价公式
拟
代数
集
在线阅读
下载PDF
职称材料
非紧完备的Khler流形上的嵌入问题
2
作者
阮其华
陈志华
《数学年刊（A辑）》
CSCD
北大核心
2005年第3期333-344,共12页
本文证明了任一n维的非紧完备,具有有限拓扑型的Kahler流形,若它的Ricci曲率为正的,有限的且陈氏示性数有限,则它双全纯等价于拟射影代数簇.
关键词
RICCI曲率
Bezout估计
拟
射影
代数
簇
在线阅读
下载PDF
职称材料
题名
拟代数簇包含关系的判定算法
1
作者
王继民
李廉
机构
兰州大学信息科学与工程学院计算机科学系
出处
《兰州大学学报（自然科学版）》
CAS
CSCD
北大核心
2002年第1期6-10,共5页
基金
国家重点基础研究发展规划"数学机械化与自动推理平台"资助项目 (G19980 30 6 )
文摘
判定拟代数簇的包含关系问题不能由计算其相应的饱和理想来确定 .利用一阶逻辑等价公式 ,将拟代数簇的包含关系问题化为检验另一个拟代数簇是否为空的问题 ,之后用 Grobner基方法加以判定 .
关键词
拟代数簇
包含关系
逻辑转换
判定算法
Groebner基方法
一阶逻辑等价公式
拟
代数
集
Keywords
quasi-algebraic variety
inclusion
Grbner bases method
logic transformation
decidable algorithm
分类号
O187.2 [理学—基础数学]
在线阅读
下载PDF
职称材料
题名
非紧完备的Khler流形上的嵌入问题
2
作者
阮其华
陈志华
机构
莆田学院数学系
同济大学应用数学系
出处
《数学年刊（A辑）》
CSCD
北大核心
2005年第3期333-344,共12页
基金
国家自然科学基金(No.10271089)资助的项目.
文摘
本文证明了任一n维的非紧完备,具有有限拓扑型的Kahler流形,若它的Ricci曲率为正的,有限的且陈氏示性数有限,则它双全纯等价于拟射影代数簇.
关键词
RICCI曲率
Bezout估计
拟
射影
代数
簇
Keywords
Ricci curvature,Bezout estimate. Quasi-projective variety
分类号
O189.33 [理学—基础数学]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
拟代数簇包含关系的判定算法
王继民
李廉
《兰州大学学报（自然科学版）》
CAS
CSCD
北大核心
2002
0
在线阅读
下载PDF
职称材料
2
非紧完备的Khler流形上的嵌入问题
阮其华
陈志华
《数学年刊（A辑）》
CSCD
北大核心
2005
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
