Wilson, D., 2013. Real Geometry and Connectedness via Triangular Description: CAD Example Bank. Version 4. Bath: University of Bath Research Data Archive. Available from: https://doi.org/10.15125/BATH-00069.
Bradford, R., Davenport, J., England, M., McCallum, S., Wilson, D., 2015. Dataset supporting the paper: Truth table invariant cylindrical algebraic decomposition. Bath: University of Bath Research Data Archive. Available from: https://doi.org/10.15125/BATH-00076.