Description
These files comprise the data set supporting the following paper:
##########################################################################################
Truth table invariant cylindrical algebraic decomposition.
Russel Bradford, James H. Davenport, Matthew England, Scott McCallum and David Wilson.
http://opus.bath.ac.uk/38146/
##########################################################################################
See the file README.txt or the abstract for more details
##########################################################################################
Truth table invariant cylindrical algebraic decomposition.
Russel Bradford, James H. Davenport, Matthew England, Scott McCallum and David Wilson.
http://opus.bath.ac.uk/38146/
##########################################################################################
See the file README.txt or the abstract for more details
| Date made available | 2015 |
|---|---|
| Publisher | University of Bath |
Cite this
England, M. (Creator), Bradford, R. (Creator), Davenport, J. (Creator), McCallum, S. (Creator), Wilson, D. (Creator). (2015): Dataset supporting the paper: Truth table invariant cylindrical algebraic decomposition, University of Bath. 10.15125/BATH-00076