Using Machine Learning to Improve Cylindrical Algebraic Decomposition - Huang, Zongyan; England, Matthew; Wilson, David J.; Bridge, James; Davenport, James H.; Paulson, Lawrence C. (Mathematics in Computer Science, 2019)