Bacik, K., Bacik, B., Rogers, T., 2023. Dataset for "Lane nucleation in complex active flows". Bath: University of Bath Research Data Archive. Available from: https://doi.org/10.15125/BATH-01242.
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.