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.
Tonks, Z., 2019. 'On Fast Matrix Inversion' Cancellations Demonstration Worksheet. Bath: University of Bath Research Data Archive. Available from: https://doi.org/10.15125/BATH-00577.
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.