Tonks, Z., 2023. Dataset for Quantifier Elimination and CAD examples in Maple. Bath: University of Bath Research Data Archive. Available from: https://doi.org/10.15125/BATH-00746.
Davenport, J., 2022. Dataset for chapter "Quality and Bias". Bath: University of Bath Research Data Archive. Available from: https://doi.org/10.15125/BATH-01099.
Tonks, Z., 2017. Data for 'Fast Matrix Operations in Computer Algebra'. Bath: University of Bath Research Data Archive. Available from: https://doi.org/10.15125/BATH-00460.
Davenport, J., 2017. Dataset supporting 'What Does "Without Loss of Generality" Mean (And How Do We Detect It)'. Zenodo. Available from: https://doi.org/10.5281/zenodo.305441.
Davenport, J., Murphy, E., Crick, T., 2016. Dataset for GW4 "First Programming Courses" project. Bath: University of Bath Research Data Archive. Available from: https://doi.org/10.15125/BATH-00246.
Panteli, N., Davenport, J., Marder, B., Nemetz, F., 2015. Metaphors of Identity: Focus Groups. Bath: University of Bath Research Data Archive. Available from: https://doi.org/10.15125/BATH-00079.
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.