Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition With Groebner Bases

Z. Huang, Matthew England, J. H. Davenport, L. C. Paulson

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

12 Citations (Scopus)

42 Downloads (Pure)

1 results
- Title
- Start date(ascending)

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