Dataset supporting the paper: Truth table invariant cylindrical algebraic decomposition

Dataset

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
Date made available2015
PublisherUniversity of Bath

Research Output

Truth table invariant cylindrical algebraic decomposition

Bradford, R., Davenport, J. H., England, M., McCallum, S. & Wilson, D., 1 Sep 2016, In : Journal of Symbolic Computation. 76, p. 1-35 35 p.

Research output: Contribution to journalArticle

Open Access
  • 21 Citations (Scopus)
    58 Downloads (Pure)

    Projects

  • 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