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

Chrome logo  Add to Chrome

Firefox logo Add to Firefox

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

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

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

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

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

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email