Dataset supporting "Using Machine Learning to decide when to Precondition Cylindrical Algebraic Decomposition with Groebner Bases"

Zongyan Huang (Creator)
Matthew England (Creator)
James H. Davenport (Creator)
Lawrence C. Paulson (Creator)

Dataset

1 Conference proceeding

1 results

2017
Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition With Groebner Bases
Huang, Z., England, M., Davenport, J. H. & Paulson, L. C., 26 Jan 2017, 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. California: IEEE Computer Society, p. 45-52
Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

Open Access
File
18 Citations (Scopus)

106 Downloads (Pure)