Dataset supporting the paper: Improving the use of equational constraints in cylindrical algebraic decomposition

Dataset

Description

This is a set of files from which the experimental results reported in the following paper are derived.

Matthew England, Russell Bradford and James H. Davenport. "Improving the use of equational constraints in cylindrical algebraic decomposition." 2015.

See the README.txt for more details.
Date made available2015
PublisherUniversity of Bath

Cite this

England, M. (Creator), Bradford, R. (Creator), Davenport, J. (Creator). (2015). Dataset supporting the paper: Improving the use of equational constraints in cylindrical algebraic decomposition . University of Bath. 10.15125/BATH-00071