High-Performance and System Integration for Symbolic and Numeric Computation

本计画的第一个目标是发展符号多项式分解的并行演算法。对以往关于“p因子”的工作进行了推广，研究了平行线性和二次p提升技术。第二个目标是研究数字、符号和图形技术的整合。设计了一种分布式范例来连接松散耦合的科学和数学计算组件。其愿景是开发由运行在不同主机上的多个自主计算服务器组成的科学计算系统。这样的系统中的每个计算服务器提供一个或一组相关服务，例如多项式分解、线性或非线性方程的解、从符号程序自动生成代码或数学函数的图形显示，这只是其中的一些服务。

The first goal of this project is to develop and parallel algorithms for symbolic polynomial factorization. The past work on ``pfactor'' is extended, and parallel linear and quadratic p-lifting techniques are investigated. The second goal is to investigate the integration of numeric, symbolic, and graphic techniques. A distributed paradigm is devised to interface loosely coupled scientific and mathematical computation components. The vision is to develop scientific computation systems consisting of multiple autonomous compute servers running on different hosts. Each compute server in such a system supplies a single or a set of related services such as polynomial factorization, solution of linear or nonlinear equations, automatic code generation from symbolic programs, or graphic display of mathematical functions, just to name a few services.