Mathematical Sciences: Computational Equipment for Algebra, Combinatorics, and Number Theory

小行星9406618 数学系和南卡罗来纳州大学将购买一台Sun公司的Center 1000，它有2个CPU，128 MB的RAM和超过6 GB的磁盘，将专门用于支持数学科学的研究。 该设备将用于几个研究项目，特别是：迈克尔·菲拉塞塔博士对一些经典多项式的不可约性进行的研究，杰罗尔德·格里格斯博士对组合学进行的研究，安德鲁·库斯汀博士对交换代数中的自由解的研究，以及乔治·麦克纳马拉博士对符号串中不可避免的模式的研究。 所有这些研究的一个共同点是，它们依赖于使用代数和符号计算作为离散数学实验的工具，并以此为基础制定数学证明，并作为进行关键计算的手段，作为数学证明的一部分。 这四位数学家在他们以前的研究中大量使用了计算方法，这些方法已经限制了他们目前可用的计算资源。

9406618 McNulty The Department of Mathematics and the University of South Carolina will purcahse a Sun SPARC Center 1000 with 2 cpu's, 128 MB of RAM, and more than 6 GB of disk which will be dedicated to the support of research in the mathematical sciences. This equipment will be used in several research projects, including in particular: and investigation into irreducibility of some classical polynomials conducted by Dr. Michael Filaseta, research in combinatorics conducted by Dr. Jerrold Griggs, research on free resolutions in commutative algebra by Dr. Andrew Kustin, and an investigation of unavoidable patterns in strings of symbols by Dr. George McNulty. A common element in all these investigations is their dependence on the use of algebraic and symbolic computations as tools for discrete mathematical experiments, on which to base the formulation of conjectures, and as the means to carry out crucial calculations as parts of mathematical proofs. All four mathematicians have made substantial use of computational approaches in their prior research which have pressed the limits of computational resources currently available to them.