Computer algebra for engineering and industry

这个项目开发算法，以便计算机代数系统可以更有效地用于解决数学问题。他们开发的算法将在广泛可用的计算平台上实施，并分发给科学界和工程界。所考虑的数学问题将来自重要的工程和科学领域。工业制造过程和工程设计是科学计算的重要领域。一件工程设备的性能最好用定量模型来分析。然而，定量并不等同于数字；出于设计目的，包含符号的分析可能更好。举一个例子可能会对非科学家有所帮助。假设您正在设计使用活塞的东西，您的工作是选择活塞杆的长度。要做到这一点，一种方法是选择一个确定的初始长度，例如10厘米，并计算其行为。然后，您可以使用9.5厘米的长度重复计算。与其在每次发生更改时重新计算，您可以尝试将长度称为L，并只推导一次建模方程。帮助执行这类任务的软件产品通常被称为计算机代数系统。这个项目将加强计算系统，特别是在应用程序中，通过加速数值计算，增加可能的代数操作类型的数量，并控制表达式膨胀。最后一项是指符号表达式往往在整个计算过程中不断增长，即使是中等大小的问题也可能生成完全填满计算机内存的表达式，从而有效地停止计算。这项建议建立在开发用于控制具有工业意义的计算中的非常大的表达式的技术的早期工作的基础上。

This project develops algorithms so that computer algebra systems can be used more effectively for the solution of mathematical problems. The algorithms developed  will be implemented in widely available computational platforms and distributed to the scientific and engineering communities. The mathematical problems considered will be drawn from important areas of engineering and science. Industrial manufacturing processes and engineering design are important areas of scientific computation. The performance of a piece of engineering equipment is best analysed using quantitative modelling. Quantitative is not the same as numerical, however; for design purposes, an analysis containing symbols might be better. An example might help non-scientists. Suppose you are designing something that uses a piston, and your job is to select the length of the piston rod. One way to do this would be to select a definite initial length, for the sake of an example let us say 10 cm, and calculate the behaviour. Then you might repeat the calculation using a length of 9.5 cm. Instead of recalculating every time that there is a change, you might try instead to call the length L and derive the modelling equations just once. The software products that help perform such a task are often called computer algebra systems. This project will strengthen computational systems, especially in applications, by speeding numerical calculations, increasing the number of types of algebraic manipulation possible and controlling expression swell. This last item refers to the fact that symbolic expressions tend to grow constantly throughout a calculation, and even moderate-sized problems can generate expressions that completely fill computer memory, thereby effectively stopping the calculation. This proposal builds on earlier work to develop techniques for controlling very large expressions in industrially significant calculations.