Layered Cylindrical Algebraic Decomposition


Wilson, D. J. and England, M., 2013. Layered Cylindrical Algebraic Decomposition. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2013-05)

Related documents:

PDF (CSBU-2013-05) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (562kB) | Preview


    In this report the idea of a Layered CAD is introduced: a truncation of a CAD to cells of dimension higher than a prescribed value. Limiting to full-dimensional cells has already been investigated in the literature, but including more levels is shown to also be beneficial for applications. Alongside a direct algorithm, a recursive algorithm is provided. A related topological property is defined and related to robot motion planning. The distribution of cell dimensions in a CAD is investigated and layered CAD ideas are combined with other research. All research is fully implemented within a freely available Maple package, and all results are corroborated with experimental results.


    Item Type Reports/Papers
    CreatorsWilson, D. J.and England, M.
    DepartmentsFaculty of Science > Computer Science
    ID Code36712


    Actions (login required)

    View Item

    Document Downloads

    More statistics for this item...