Order-Invariance of Cylindrical Algebraic Decomposition via Triangular Decomposition

James Davenport, Russell Bradford, Matthew England, David Wilson

Research output: Working paper

33 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.

  • Projects

  • Cite this