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

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing S. 53 - 60
Hauptverfasser:	Wilson, David, England, Matthew, Bradford, Russell, Davenport, James H.
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 01.09.2014
Schlagworte:	Buildings cell distribution Complexity theory cylindrical algebraic decomposition Design automation heuristic Polynomials Prediction algorithms problem formulation Scientific computing
ISBN:	9781479984473, 1479984477
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!