Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Zongyan Huang

Using Machine Learning to Improve Cylindrical Algebraic Decomposition


Apr 26, 2018
Zongyan Huang, Matthew England, David Wilson, James H. Davenport, Lawrence C. Paulson

* arXiv admin note: text overlap with arXiv:1608.04219, arXiv:1404.6369 

  Access Paper or Ask Questions

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


Aug 15, 2016
Zongyan Huang, Matthew England, James H. Davenport, Lawrence C. Paulson

* Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC '16), pp. 45--52. IEEE, 2016 

  Access Paper or Ask Questions

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


Apr 25, 2014
Zongyan Huang, Matthew England, David Wilson, James H. Davenport, Lawrence C. Paulson, James Bridge

* Intelligent Computer Mathematics, pp. 92-107. (Lecture Notes in Artificial Intelligence, 8543). Springer Berlin Heidelberg, 2014 
* 16 pages 

  Access Paper or Ask Questions