代数几何、数学机械化和非标准分析的交叉
基本信息
批准号：10771206
项目类别：面上项目
资助金额：26.00
负责人：李邦河
学科分类：
依托单位：中国科学院数学与系统科学研究院
批准年份：2007
结题年份：2010
起止时间：2008-01-01 - 2010-12-31
项目状态： 已结题
项目参与者：李雅卿,王定康,郭敏英,冷福生,李博,沈跃峰
关键词：
Schubert演算非标准分析有限域上的Zeta函数代数簇的母点
结项摘要
将范德瓦尔登及韦依等人关于代数簇的母点理论与数学机械化及非标准分析相结合的思想进一步发展，力图在Hilbert十五问题中提出验证Schubert得到的一系列计数方面作出新的贡献。进一步完善计算有限域上代数簇的Zeta函数的算法。 采用数值计算的方法，来解决代数几何中的一些问题。
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
DeoR家族转录因子PsrB调控黏质沙雷氏菌合成灵菌红素
DeoR家族转录因子PsrB调控黏质沙雷氏菌合成灵菌红素
DOI：10.3969/j.issn.1673-1689.2021.10.004
发表时间：2021
2
正交异性钢桥面板纵肋-面板疲劳开裂的CFRP加固研究
正交异性钢桥面板纵肋-面板疲劳开裂的CFRP加固研究
DOI：10.19713/j.cnki.43-1423/u.t20201185
发表时间：2021
3
拥堵路网交通流均衡分配模型
拥堵路网交通流均衡分配模型
DOI：10.11918/j.issn.0367-6234.201804030
发表时间：2019
4
小跨高比钢板- 混凝土组合连梁抗剪承载力计算方法研究
小跨高比钢板- 混凝土组合连梁抗剪承载力计算方法研究
DOI：10.19701/j.jzjg.2015.15.012
发表时间：2015
5
内点最大化与冗余点控制的小型无人机遥感图像配准
内点最大化与冗余点控制的小型无人机遥感图像配准
DOI：10.11834/jrs.20209060
发表时间：2020
李邦河的其他基金
批准号：18770459
批准年份：1987
资助金额：0.90
项目类别：面上项目
相似国自然基金
1
代数几何与拓扑的交叉
批准号：11671222
批准年份：2016
负责人：Eduard Looijenga
学科分类：A0107
资助金额：48.00
项目类别：面上项目
2
交换代数中与组合和代数几何交叉的课题的研究
批准号：11471234
批准年份：2014
负责人：唐忠明
学科分类：A0104
资助金额：68.00
项目类别：面上项目
3
PnP问题解的几何分布及其数学机械化方法
批准号：61075037
批准年份：2010
负责人：汤建良
学科分类：F0304
资助金额：36.00
项目类别：面上项目
4
有限几何,代数几何和编码
批准号：19701033
批准年份：1997
负责人：吴新文
学科分类：A0608
资助金额：3.00
项目类别：青年科学基金项目