Parallel/Distributed Symbolic Computation

该项目以并行/分布式符号和代数计算(SAC)的算法、工具和应用程序工作为基础。现有的并行SAC工具将得到完善。将建立更多的工具，并将应用于计算机代数中特定问题的算法解决方案。该项目还研究了一个系统的设计，使数学计算在互联网上易于访问和方便地互操作。这项研究还涉及实验软件的设计和实现，这些软件对科学研究和数学教育非常有用。本文的研究主要集中在以下几个方面：一、GCD、因子、Grobner基和多项式特征集的并行计算。2.构建和完善基于PVM(MPI)的并行/分布式SAC工具。3.网络可访问数学计算分布式系统的初步设计。

The project builds on work on algorithms, tools, and applications for parallel/distributed Symbolic and Algebraic Computation (SAC). Existing tools for parallel SAC will be refined. Additional tools will be built and applications to the algorithmic solution of specific problems in computer algebra will be made. The project also investigates the design of a system to make mathematical computations easily accessible and conveniently interoperable on the Internet. The research also involves design and implementation of experimental software that can become very useful for scientific research and mathematics education. The research focuses on the following specific areas: I. Parallel computation of GCD, factors, Grobner Basis, and Characteristic Sets of polynomials. 2. Building and refining PVM (MPI) based tools for parallel/distributed SAC. 3. Initial Design of a distributed system for Internet Accessible Mathematical Computing (IAMC).