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

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

University of Cambridge
University of Bath

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

20 Citations (Scopus)

251 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, 28 Feb 2017
DOI: 10.5281/zenodo.343885, https://zenodo.org/record/343885
Dataset