Maple Conference 2019 - Machine Learning to Improve Cylindrical Algebraic Decomposition in Maple

Machine Learning to Improve Cylindrical Algebraic Decomposition in Maple presented by Matthew England and Dorian Florescu at the Maple Conference 2019.