Projects per year
A new algorithm to compute cylindrical algebraic decompositions (CADs) is presented, building on two recent advances. Firstly, the output is truth table invariant (a TTICAD) meaning given formulae have constant truth value on each cell of the decomposition. Secondly, the computation uses regular chains theory to first build a cylindrical decomposition of complex space (CCD) incrementally by polynomial. Significant modification of the regular chains technology was used to achieve the more sophisticated invariance criteria. Experimental results on an implementation in the RegularChains Library for Maple verify that combining these advances gives an algorithm superior to its individual components and competitive with the state of the art.
|Title of host publication||Computer Algebra in Scientific Computing|
|Subtitle of host publication||Proceedings of the16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014|
|Editors||V. P. Gerdt, W. Koepf, W. M. Seiler, E. V. Vorozhtsov|
|Number of pages||15|
|Publication status||Published - 2014|
|Name||Lecture Notes in Computer Science|
- cylindrical algebraic decomposition
- equational constraint
- regular chains
- triangular decomposition
FingerprintDive into the research topics of 'Truth table invariant cylindrical algebraic decomposition by regular chains'. 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
- Department of Computer Science - Senior Lecturer
- Mathematical Foundations of Computation
Person: Research & Teaching