Dataset supporting "Using Machine Learning to decide when to Precondition Cylindrical Algebraic Decomposition with Groebner Bases"
收藏NIAID Data Ecosystem2026-03-11 收录
下载链接：
https://zenodo.org/records/343885
下载链接
链接失效反馈官方服务：
资源简介：
Dataset supporting the paper:
Z. Huang, M. England, J.H. Davenport and L.C. Paulson
Using Machine Learning to decide when to Precondition Cylindrical Algebraic Decomposition with Groebner Bases.
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
创建时间：
2020-01-24
