Zongyan Huang

Publication Activity (10 Years)

Years Active: 2014-2019
Publications (10 Years): 4

Top Venues

CoRR

Math. Comput. Sci.

CICM

SYNASC

University of Cambridge, UK (PHD)

Education History

University of Cambridge, UK

PHD

Publications

Zongyan Huang, Matthew England, David J. Wilson, James P. Bridge, James H. Davenport, Lawrence C. Paulson
Using Machine Learning to Improve Cylindrical Algebraic Decomposition. Math. Comput. Sci. 13 (4) (2019)
Zongyan Huang, Matthew England, David J. Wilson, James H. Davenport, Lawrence C. Paulson
Using Machine Learning to Improve Cylindrical Algebraic Decomposition. CoRR (2018)
Zongyan Huang, Matthew England, James H. Davenport, Lawrence C. Paulson
Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition with Groebner Bases. SYNASC (2016)
Zongyan Huang, Matthew England, James H. Davenport, Lawrence C. Paulson
Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition With Groebner Bases. CoRR (2016)
Zongyan Huang, Matthew England, David J. Wilson, James H. Davenport, Lawrence C. Paulson
A comparison of three heuristics to choose the variable ordering for CAD. CoRR (2014)
Zongyan Huang, Matthew England, David J. Wilson, James H. Davenport, Lawrence C. Paulson, James P. Bridge
Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition. CICM (2014)
Zongyan Huang, Matthew England, David J. Wilson, James H. Davenport, Lawrence C. Paulson
A Comparison of Three Heuristics to Choose the Variable Ordering for Cylindrical Algebraic Decomposition. ACM Commun. Comput. Algebra 48 (3/4) (2014)
Zongyan Huang, Matthew England, David J. Wilson, James H. Davenport, Lawrence C. Paulson, James P. Bridge
Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition. CoRR (2014)

Zongyan Huang.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Zongyan Huang