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.