Dataset supporting the paper: Truth table invariant cylindrical algebraic decomposition

To run the Maple worksheet you will need a copy of the commercial computer algebra software Maple. This is currently available from http://www.maplesoft.com/products/maple/. The examples were run in Maple 16 (released Spring 2012). It is likely that the same results would be obtained in Maple 17, 18, 2015 and future versions, but this cannot be guaranteed. An additional code package, developed at the University of Bath and included in this dataset as `ProjectionCAD.mpl`, is required. If you do not have a copy of Maple you can still read the PDF printout of the worksheets. Qepcad-B is a free piece of software for Linux which can be obtained from http://www.usna.edu/CS/qepcadweb/B/QEPCAD.html.