Research

Order-Invariance of Cylindrical Algebraic Decomposition via Triangular Decomposition


Reference:

Davenport, J., Bradford, R., England, M. and Wilson, D., 2012. Order-Invariance of Cylindrical Algebraic Decomposition via Triangular Decomposition. Working Paper.

Related documents:

[img]
Preview
PDF (Order Invariance Tech Report Version 1) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (164kB) | Preview

    Abstract

    These notes are a product of research seminars held at the University of Bath in Autumn 2012. The research group of Bath consisted of James Davenport, Russell Bradford, Matthew England, Acyr Locatelli and David Wilson. They were joined by Scott McCallum of Macquarie University who was at Bath as a visiting researcher.

    Details

    Item Type Reports/Papers (Working Paper)
    CreatorsDavenport, J., Bradford, R., England, M. and Wilson, D.
    DepartmentsFaculty of Science > Computer Science
    StatusSubmitted
    ID Code31827

    Export

    Actions (login required)

    View Item

    Document Downloads

    More statistics for this item...