Research on Cylindrical Algebraic Computation

该项目的目标是开发以下方法和应用： 柱面代数分解（c.a.d.） 该项目包括 发明了用于各种子过程的改进算法， 这种新算法和算法实现已经 设计但尚未实施，并取代目前的 c.a.d.实施，新的实施得到改进 结构和一个更方便、更清晰和响应更快的界面。 该项目还将探索并行计算的应用， 以及对c.a.d.算法的行为的研究和分析 当应用于各种各样的例子时。

The goal of this project is to develop the methods and applications of cylindrical algebraic decomposition (c.a.d.). The project includes the invention of improved algorithms for various subprocesses, the implementation of both such new algorithms and algorithms already devised but not yet implemented, and the replacement of the current c.a.d. implementation with a new implementation having improved structure and a more convenient, perspicuous and responsive interface. The project will also explore the employment of parallel computation, and the study and analysis of the behavior of the c.a.d. algorithm when applied to numerous examples of various kinds.