Skip to main navigation
Skip to search
Skip to main content
the University of Bath's research portal Home
Help & FAQ
Home
Profiles
Research output
Projects
Datasets
Student theses
Equipment
Research units
Activities
Prizes
Press/Media
Search by expertise, name or affiliation
Dataset supporting the paper: Improving the use of equational constraints in cylindrical algebraic decomposition
Matthew England
(Creator)
Russell Bradford
(Creator)
James Davenport
(Creator)
Department of Computer Science
EPSRC Centre for Doctoral Training in Statistical Applied Mathematics (SAMBa)
International Centre for Higher Education Management (ICHEM)
Mathematical Foundations of Computation
Institute of Coding
UKRI CDT in Accountable, Responsible and Transparent AI
Dataset
Overview
Research output
(1)
Projects
(1)
Research output
Research output per year
2015
2015
2015
1
Paper
Research output per year
Research output per year
1 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Paper
Search results
2015
Improving the use of equational constraints in cylindrical algebraic decomposition
England, M., Bradford, R. &
Davenport, J. H.
,
Jul 2015
,
p. 165-172
.
8 p.
Research output
:
Contribution to conference
›
Paper
Open Access
Cylindrical Algebraic Decomposition
100%
Polynomial
50%
25
Citations (SciVal)
84
Downloads (Pure)