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
Contact

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 journal › Article

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

    Projects

    Real Geometry and Connectedness via Triangular Description

    Davenport, J., Bradford, R., England, M. & Wilson, D.

    Engineering and Physical Sciences Research Council

    1/10/11 → 31/12/15

    Project: Research council

    • 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