Scientific Computing Research Environments for the Mathematical Sciences (SCREMS): Parallel Computer Algebra

北卡罗来纳州立大学数学系提出创建一个高性能计算集群来支持符号计算组的研究。该部门是美国最大的符号计算团体之一。该小组由6名教师（4名教授和2名助理教授），11名博士组成。学生和1名硕士生。 符号计算领域，就其本质而言，是由计算工具的发展与良好算法的开发和实现之间的共生关系推动的。这种关系反映在该奖项支持的各种研究项目中。这项研究在很大程度上依赖于计算示例和测试拟议算法的能力，不仅要看看什么是真的，还要看看哪些算法真正有效。符号计算在整个科学和工业中具有根本的重要性。它形成了数学程序的基本构建块，如Matlab，Mathematica，Maple和许多其他程序，所有这些程序都已成为整个科学的基本工具。NC州立大学的符号计算小组的工作将有助于扩展这些程序，使其变得更加强大，同时提高其可用性。这将使越来越多的人能够利用这些强大的数学工具。好的符号计算软件包将把理论模型转化为实用软件。这些软件包将提供一个更容易的方法，以一个高度技术性的领域，为学生在许多层次的数学，和研究人员从许多分支的科学和工程。

The Department of Mathematics at NC State University proposes to create a high performance computational cluster to support the research of the symbolic computation group. The Department is one of the largest groups in symbolic computation in the USA. The group is composed of 6 faculty (4 professors and 2 assistant professors), 11 PhD. students and 1 Masters student. The field of Symbolic Computation has, by its very nature, been pushed forward by the symbiotic relationship between the development of computational tools and the development and implementation of good algorithms. This relationship is reflected in the various research projects supported by this award. The research relies heavily on the ability to compute examples and test proposed algorithms, not only to see what is true but also to see which algorithms truly work. Symbolic Computation is of fundamental importance throughout science and industry. It forms the basic building blocks of the mathematical programs, like Matlab, Mathematica, Maple and many others, all of which have become fundamental tools throughout science. The work of the symbolic computation group at NC State University will help expand these programs to become even more powerful and at the same time improve their usability. This will enable more and more people to take advantage of these powerful mathematical tools. Good symbolic computation packages will turn theoretical models into practical software. These packages will provide an easier approach to a highly technical area for students at many levels of mathematics, and researchers from many branches of science and engineering.