Items where Creator or Contributor is "England, Matthew"

[up] All categories
Group by: Date | No Grouping
Number of items: 2.

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.

This list was generated on Sat Apr 20 07:12:39 2024 BST.
University of Bath Research Data Archive is powered by EPrints 3.4 which is developed by the School of Electronics and Computer Science at the University of Southampton. About EPrints | Accessibility