Mathematical Sciences Research Computing Equipment

俄克拉荷马州立大学数学系计划购买一台高速大容量文件服务器以及几个图形工作站和相关软件。该设备将使几个研究项目受益，包括：A.舒伯特：交集理论的枫树包(S.Katz)继续开发(与Str&GT；符号代数包(用Maple编写)，用于研究代数几何中的交集理论。B.局部对称空间、Hecke算子和Galois表示的上同调：(M.McConnell)与SI(3)的上同调类相关的Galois表示的符号计算。C.Kleian群和变形空间：(D.J.Wright)有限生成Klein群的极限集和基本域的计算机图解构造，以及它们的变形空间的映射。这个项目需要详细的图形以及计算能力来显示这些分形极限集和变形空间的组合结构。D.不变量理论与数域分布：(A.Yukie)预齐次向量空间等变Morse分层的计算。E.数值分析中的计算项目：(H.Burchard)计算机辅助几何设计、非线性方程组和最优化的延拓方法，以及超盒样条线的计算确定。

The Department of Mathematics at Oklahoma State University plans to purchase a highspeed and high-volume fileserver as well as several graphics workstations and related software. This equipment will benefit several research projects including: A. SCHUBERT: A MAPLE PACKAGE FOR INTERSECTION THEORY (S. Katz) Continuation of the development (with Str>mme) of a symbolic algebra package (written in MAPLE) for research in intersection theory in algebraic geometry. B. COHOMOLOGY OF LOCALLY SYMMETRIC SPACES, HECKE OPERATORS, AND GALOIS REPRESENTATIONS: (m. McCONNELL) Symbolic computation of Galois representations associated to cohomology classes for SI(3). C. KLEINIAN GROUPS AND DEFORMATION SPACES: (D. J. Wright) Computer graphical construction of limit sets and fundamental domains of finitely- generated Kleinian groups, and mapping of their deformation spaces. This project requires detailed graphics as well as computing power to show the combinatorial structure of these fractal limit sets and deformation spaces. D. INVARIANT THEORY AND DISTRIBUTION OF NUMBER FIELDS: (A. Yukie) Calculation of Equivariant Morse Stratifications associated with Prehomogeneous Vector Spaces. E. COMPUTING PROJECTS IN NUMERICAL ANALYSIS: (H. Burchard) Projects in computer-aided geometric design, continuation methods for nonlinear systems of equations and optimization, and computation determination of super box splines.