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

    18 Citations (Scopus)
    110 Downloads (Pure)

    Search results