代数几何、数学机械化和非标准分析的交叉

将范德瓦尔登及韦依等人关于代数簇的母点理论与数学机械化及非标准分析相结合的思想进一步发展，力图在Hilbert十五问题中提出验证Schubert得到的一系列计数方面作出新的贡献。进一步完善计算有限域上代数簇的Zeta函数的算法。 采用数值计算的方法，来解决代数几何中的一些问题。