Zongyan Huang, Matthew England, James H. Davenport, Lawrence C. Paulson. Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition with Groebner Bases. In James H. Davenport, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie, editors, 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, Timisoara, Romania, September 24-27, 2016. pages 45-52, IEEE Computer Society, 2016. [doi]
Abstract is missing.