Research Output per year
Research Output per year
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 |
Research Output
- 1 Article
-
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 › peer-review
Open Access25 Citations (Scopus)58 Downloads (Pure)
Projects
- 1 Finished
-
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