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

    Description

    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
    Date made available28 Feb 2017
    PublisherZenodo

    Access Dataset

    • 1 Conference proceeding

    Cite this