Zongyan Huang

Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition pdf

Matthew England, James H. Davenport, Lawrence C. Paulson, 2014, CICM.

Machine learning and computer algebra

Zongyan Huang, Zongyan Huang, 2015 .

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

Matthew England, James H. Davenport, Lawrence C. Paulson, 2016, 2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC).

Using Machine Learning to Improve Cylindrical Algebraic Decomposition

Matthew England, James H. Davenport, Lawrence C. Paulson, 2018, Mathematics in Computer Science.

A Comparison of Three Heuristics to Choose the Variable Ordering for Cylindrical Algebraic Decomposition

Matthew England, James H. Davenport, Lawrence C. Paulson, 2015, ACCA.