Research

Using the regular chains library to build cylindrical algebraic decompositions by projecting and lifting


Reference:

England, M., Wilson, D., Bradford, R. and Davenport, J. H., 2014. Using the regular chains library to build cylindrical algebraic decompositions by projecting and lifting. Springer, pp. 458-465. (Lecture Notes in Computer Science; 8592)

Related documents:

[img]
Preview
PDF (EWBD14) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (246kB) | Preview

    Official URL:

    http://dx.doi.org/10.1007/978-3-662-44199-2_69

    Abstract

    Cylindrical algebraic decomposition (CAD) is an important tool, both for quantifier elimination over the reals and a range of other applications. Traditionally, a CAD is built through a process of projection and lifting to move the problem within Euclidean spaces of changing dimension. Recently, an alternative approach which first decomposes complex space using triangular decomposition before refining to real space has been introduced and implemented within the RegularChains Library of Maple. We here describe a freely available package ProjectionCAD which utilises the routines within the RegularChains Library to build CADs by projection and lifting. We detail how the projection and lifting algorithms were modified to allow this, discuss the motivation and survey the functionality of the package.

    Details

    Item Type Conference or Workshop Items (UNSPECIFIED)
    CreatorsEngland, M., Wilson, D., Bradford, R. and Davenport, J. H.
    EditorsHong, H.and Yap, C.
    DOI10.1007/978-3-662-44199-2_69
    DepartmentsFaculty of Science > Computer Science
    StatusPublished
    ID Code39493

    Export

    Actions (login required)

    View Item

    Document Downloads

    More statistics for this item...