《代數幾何、數學機械化和非標準分析的交叉》是依託中國科學院數學與系統科學研究院，由李邦河擔任項目負責人的面上項目。
基本介紹
- 中文名：代數幾何、數學機械化和非標準分析的交叉
- 項目類別：面上項目
- 項目負責人：李邦河
- 依託單位：中國科學院數學與系統科學研究院
- 負責人職稱：研究員
- 申請代碼：A0107
- 研究期限：2008-01-01 至 2010-12-31
- 批准號：10771206
- 支持經費：26（萬元）
項目摘要
將范德瓦爾登及韋依等人關於代數簇的母點理論與數學機械化及非標準分析相結合的思想進一步發展，力圖在Hilbert十五問題中提出驗證Schubert得到的一系列計數方面作出新的貢獻。進一步完善計算有限域上代數簇的Zeta函式的算法。 採用數值計算的方法，來解決代數幾何中的一些問題。
