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.