Layered Cylindrical Algebraic Decomposition

D. J. Wilson, M. England

Research output: Book/ReportOther report

49 Downloads (Pure)


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.
Original languageEnglish
Place of PublicationBath, U. K.
PublisherDepartment of Computer Science, University of Bath
Publication statusPublished - Aug 2013

Publication series

NameDepartment of Computer Science Technical Report Series
PublisherDepartment of Computer Science, University of Bath
ISSN (Print)1740-9497


Dive into the research topics of 'Layered Cylindrical Algebraic Decomposition'. Together they form a unique fingerprint.

Cite this