Cylindrical Algebraic Sub-Decompositions
- Submitting institution
-
Coventry University
- Unit of assessment
- 12 - Engineering
- Output identifier
- 11581510
- Type
- D - Journal article
- DOI
-
10.1007/s11786-014-0191-z
- Title of journal
- Mathematics in Computer Science
- Article number
- -
- First page
- 263
- Volume
- 8
- Issue
- 2
- ISSN
- 1661-8270
- Open access status
- Out of scope for open access requirements
- Month of publication
- June
- Year of publication
- 2014
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
3
- Research group(s)
-
-
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This paper is the first to define a sub-CAD (cylindrical algebraic decomposition). It presents two novel sub-CAD algorithms. The first produces CAD cells only over a declared variety while the second only cells of desired dimensions. The latter incrementally produces cells from largest (cheapest since no algebraic number calculations) to smallest. Thus it allows the optimisation of CAD so it produces only the level of detail required for your application. These ideas have been implemented in Maple (https://bit.ly/3cLO27z) and the Rings Library (https://bit.ly/3byh1Kx) and inspired a new heuristic for full CAD computation (http://dx.doi.org/10.1109/SYNASC.2014.15).
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -