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.
England, M., Bradford, R., Davenport, J., 2015. Dataset supporting the paper: Improving the use of equational constraints in cylindrical algebraic decomposition. Bath: University of Bath Research Data Archive. Available from: https://doi.org/10.15125/BATH-00071.
Martinez Garcia, J., Gallardo, P., 2017. Variations of GIT quotients package v0.6.13. Version 0.6. Bath: University of Bath Research Data Archive. Available from: https://doi.org/10.15125/BATH-00458.