Projects per year
Cylindrical algebraic decomposition (CAD) is a key tool for problems in real algebraic geometry and beyond. When using CAD there is often a choice over the variable ordering to use, with some problems infeasible in one ordering but simple in another. Here we discuss a recent experiment comparing three heuristics for making this choice on thousands of examples.
|Title of host publication||ACM Communications in Computer Algebra|
|Editors||E. Zima, M. Caboara, J-G. Dumas, L. Gonzalez-Vega, M. Wester, L. Zhi|
|Place of Publication||New York, U. S. A.|
|Publisher||Association for Computing Machinery|
|Number of pages||3|
|Publication status||Published - Feb 2015|
FingerprintDive into the research topics of 'A comparison of three heuristics to choose the variable ordering for CAD'. Together they form a unique fingerprint.
- 1 Finished
Real Geometry and Connectedness via Triangular Description
Davenport, J., Bradford, R., England, M. & Wilson, D.
Engineering and Physical Sciences Research Council
1/10/11 → 31/12/15
Project: Research council