Order-Invariance of Cylindrical Algebraic Decomposition via Triangular Decomposition

James Davenport, Russell Bradford, Matthew England, David Wilson

Research output: Working paper / PreprintWorking paper

38 Downloads (Pure)

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.
Original languageEnglish
Publication statusIn preparation - 2012

Fingerprint

Dive into the research topics of 'Order-Invariance of Cylindrical Algebraic Decomposition via Triangular Decomposition'. Together they form a unique fingerprint.

Cite this