Items where Creator or Contributor is "England, Matthew"

Group by: Date | No Grouping
Jump to: 2015
Number of items: 2.

2015

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 Mon Jun 21 15:08:54 2021 BST.