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.