Zongyan Huang

According to our database, Zongyan Huang authored at least 7 papers between 2014 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2019

Using Machine Learning to Improve Cylindrical Algebraic Decomposition.

Zongyan Huang, Matthew England, David J. Wilson, James P. Bridge, James H. Davenport, Lawrence C. Paulson

Math. Comput. Sci., 2019

2018

Using Machine Learning to Improve Cylindrical Algebraic Decomposition.

Zongyan Huang, Matthew England, David J. Wilson, James H. Davenport, Lawrence C. Paulson

CoRR, 2018

2016

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

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

Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2016

2015

Machine learning and computer algebra.

Zongyan Huang

PhD thesis, 2015

2014

A comparison of three heuristics to choose the variable ordering for CAD.

Zongyan Huang, Matthew England, David J. Wilson, James H. Davenport, Lawrence C. Paulson

CoRR, 2014

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

Zongyan Huang, Matthew England, David J. Wilson, James H. Davenport, Lawrence C. Paulson

ACM Commun. Comput. Algebra, 2014

Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition.

Zongyan Huang, Matthew England, David J. Wilson, James H. Davenport, Lawrence C. Paulson, James P. Bridge

Proceedings of the Intelligent Computer Mathematics - International Conference, 2014