Using the Distribution of Cells by Dimension in a Cylindrical Algebraic Decomposition

We investigate the distribution of cells by dimension in cylindrical algebraic decompositions (CADs). We find that they follow a standard distribution which seems largely independent of the underlying problem or CAD algorithm used. Rather, the distribution is inherent to the cylindrical structure an...

Full description

Bibliographic Details

Published in:	2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing pp. 53 - 60
Main Authors:	Wilson, David, England, Matthew, Bradford, Russell, Davenport, James H.
Format:	Conference Proceeding
Language:	English
Published:	IEEE 01.09.2014
Subjects:	Buildings cell distribution Complexity theory cylindrical algebraic decomposition Design automation heuristic Polynomials Prediction algorithms problem formulation Scientific computing
ISBN:	9781479984473, 1479984477
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!