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

Dataset

Search results