Brewer, T., Jack, R., 2018. Data for 'Efficient characterisation of large deviations using population dynamics'. Bath: University of Bath Research Data Archive. Available from: https://doi.org/10.15125/BATH-00457.
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.
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.