Mathematical Sciences Research Computing Equipment

数学科学研究计算设备

• 批准号: 9872014
• 负责人: Birne Binegar
• 金额: $ 7.54万
• 依托单位: Oklahoma State University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1998
• 资助国家: 美国
• 起止时间: 1998-08-01 至 2001-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9872014&HistoricalAwards=false
• 关键词: Mathematical; Sciences; Research; Computing; Equipment

The Department of Mathematics at Oklahoma State University will purchaseand maintain a computational server dedicated to the support of researchin the mathematical sciences. The equipment will be used to carry outsymbolic algebra computations by our research faculty; including, inparticular,1. "Intersection theory computations on moduli spaces of curves",(C. Faber). Computations aimed at verifying a detailed conjecturaldescription of the tautological ring of the moduli space of smooth curves of genus greater than or equal to 2; and an extension of the algorithm for intersecting divisors on the compactification thismoduli space to an algorithm that will compute intersection numbers ofarbitrary classes in the tautological rings of the compactified moduli space."SCHUBERT: a MAPLE package for intersection theory in algebraicgeometry", (S. Katz). Continuation of the development with Stromme of asymbolic algebra package for research in intersection theory in algebraicgeometry.3. "SHEAFHOM, and Hecke operators on the cuspidal cohomology of arithmeticgroups", (M. McConnell). Further development of the programs SHEAFHOM thatallow one to work with sheaves, spectral sequences, and intersectionhomology; and calculations aimed at identifying the cuspidal cohomology ofcertain congruence subgroups of GL(4,Z) and computing the Heckeoperators on it.4. "Computing Projects in Numerical Analysis and Approximation Theory",(H.G.W. Burchard). Data fitting by means of primal-dual interiorpoints methods.

俄克拉荷马州立大学数学系将购买并维护一台专门用于支持数学科学研究的计算服务器。该设备将被我们的研究人员用于进行符号代数计算；特别是，包括1。“曲线的模空间上的交集理论计算”，(C.Faber)。计算的目的是验证大于或等于2的亏格的光滑曲线的模空间的重言环的详细猜想描述；以及将紧致模空间上的相交因子的算法推广到计算紧致模空间的重言环中任意类的交点数的算法。继续开发代数几何中交集理论研究用的交代数包Stromme。《算术群的尖顶上同调上的SHEAFHOM和Hecke算子》，(M.McConnell)。进一步发展了SHEAFHOM程序，它允许人们处理层、谱序列和交同调；以及旨在识别GL(4，Z)的某些同余子群的尖点上同调并计算其上的Hecke算子的计算。《数值分析和近似理论中的计算项目》，(H.G.W.Burchard)。原始-对偶内点法的数据拟合