Order-Invariance of Cylindrical Algebraic Decomposition via Triangular Decomposition

James Davenport; Russell Bradford; Matthew England; David Wilson

Order-Invariance of Cylindrical Algebraic Decomposition via Triangular Decomposition

James Davenport, Russell Bradford, Matthew England, David Wilson

Research output: Working paper / Preprint › Working paper

60 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 language	English
Publication status	In preparation - 2012

Access to Document

Order Invariance Tech Report Version 1Submitted manuscript, 164 KBLicence: Unspecified

Real Geometry and Connectedness via Triangular Description
Davenport, J. (PI), Bradford, R. (CoI), England, M. (CoI) & Wilson, D. (CoI)
Engineering and Physical Sciences Research Council
1/10/11 → 31/12/15
Project: Research council

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 -

Order-Invariance of Cylindrical Algebraic Decomposition via Triangular Decomposition

Abstract

Access to Document

Fingerprint

Projects

Real Geometry and Connectedness via Triangular Description

Cite this