Mathematical Sciences Research Computing Equipment

俄克拉荷马州立大学数学系将购买并维护一台专门用于支持数学科学研究的计算服务器。该设备将用于我们的研究人员进行符号代数计算；包括其1。“曲线模空间上的交点理论计算”，(C)。Faber)。为验证大于等于2的光滑曲线模空间的重言环的详细推测描述而进行了计算；并将紧化模空间上的相交除数算法推广到计算紧化模空间的同义环上任意类的相交数的算法。“SCHUBERT：代数几何中交集理论的MAPLE包”，（S. Katz）。延续符号代数包的Stromme发展，用于代数几何中交点理论的研究。“算术群的逆上同调上的SHEAFHOM和Hecke算子”，（M. McConnell）。进一步发展的程序SHEAFHOM，允许一个工作与束，光谱序列和交叉同源；并计算了GL（4，Z）的某些同余子群的逆上同调，并计算了其上的hecke算子。“数值分析和近似理论中的计算项目”，（H.G.W.）伯查德)。用原始对偶内点法进行数据拟合。

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.