Order-Invariance of Cylindrical Algebraic Decomposition via Triangular Decomposition

James Davenport, Russell Bradford, Matthew England, David Wilson

Research output: Working paper

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.
LanguageEnglish
StatusIn preparation - 2012

Fingerprint

Group

Cite this

@techreport{07328367baf24a5e9c730984840038f8,
title = "Order-Invariance of Cylindrical Algebraic Decomposition via Triangular Decomposition",
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.",
author = "James Davenport and Russell Bradford and Matthew England and David Wilson",
year = "2012",
language = "English",
type = "WorkingPaper",

}

TY - UNPB

T1 - Order-Invariance of Cylindrical Algebraic Decomposition via Triangular Decomposition

AU - Davenport, James

AU - Bradford, Russell

AU - England, Matthew

AU - Wilson, David

PY - 2012

Y1 - 2012

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

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

M3 - Working paper

BT - Order-Invariance of Cylindrical Algebraic Decomposition via Triangular Decomposition

ER -