Datasets
- 1 results
Search results
-
Dataset supporting "Using Machine Learning to decide when to Precondition Cylindrical Algebraic Decomposition with Groebner Bases"
Huang, Z. (Creator), England, M. (Creator), Davenport, J. H. (Creator) & Paulson, L. C. (Creator), Zenodo, 2017
DOI: 10.5281/zenodo.343885, https://zenodo.org/record/343885
Dataset