Efficient symbolic-numeric algorithms for structured constrained differential polynamial systems

符号计算是研究处理数学表达式的算法和软件系统的学科。直到最近，这些算法还只处理精确的表达式和方程。在数据是近似的应用程序的需求的驱动下，该学科已经发展到包括多项式方程的符号-数字计算。这是一项广泛努力的一部分，目的是将精确符号计算的普遍性与数值计算的现实性和效率结合起来。

Symbolic Computation is the study of algorithms and software systems to manipulate mathematical expressions. Until recently the algorithms have processed exact expressions and equations only. Driven by the needs of applications, in which data is approximate, the subject has grown to include symbolic-numeric computation for polynomial equations. This is part of a broad effort to combine the generality of exact symbolic computation with the realism and efficiency of numeric computation.