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

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

    Research output: Chapter in Book/Report/Conference proceedingConference proceedingpeer-review

    15 Citations (Scopus)
    71 Downloads (Pure)

    Search results