Items where Creator or Contributor is "England, Matthew"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | No Grouping
Jump to: 2015
Number of items: 2.

2015

England, Matthew, Bradford, Russell, Davenport, James (2015) Dataset supporting the paper: Improving the use of equational constraints in cylindrical algebraic decomposition. [Data Collection]

Bradford, Russell, Davenport, James, England, Matthew, McCallum, Scott, Wilson, David (2015) Dataset supporting the paper: Truth table invariant cylindrical algebraic decomposition. [Data Collection]

This list was generated on Mon Jul 16 04:01:21 2018 BST.