Dataset Supporting "Using Machine Learning To Decide When To Precondition Cylindrical Algebraic Decomposition With Groebner Bases"
收藏数据链接：
官方服务：
资源简介：
Dataset supporting the paper: Z. Huang, M. England, J.H. Davenport and L.C. Paulson<br> Using Machine Learning to decide when to Precondition Cylindrical Algebraic Decomposition with Groebner Bases.<br> Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC '16), pp. 45--52. IEEE, 2016. Digital Object Identifier: 10.1109/SYNASC.2016.020
提供机构：
Zenodo创建时间：
2017-02-28
