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

Dataset

Filter
Paper

Search results