Zongyan Huang - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 5 from 5

2019

Using Machine Learning to Improve Cylindrical Algebraic DecompositionZongyan Huang, Matthew England, David J. Wilson, James P. Bridge, James H. Davenport, Lawrence C. Paulson. mics, 13(4):461-488, 2019. [doi]

2016

Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition with Groebner BasesZongyan Huang, Matthew England, James H. Davenport, Lawrence C. Paulson. synasc 2016: 45-52 [doi]

2015

Machine learning and computer algebraZongyan Huang. PhD thesis, University of Cambridge, UK, 2015. [doi]

2014

A Comparison of Three Heuristics to Choose the Variable Ordering for Cylindrical Algebraic DecompositionZongyan Huang, Matthew England, David J. Wilson, James H. Davenport, Lawrence C. Paulson. cca, 48(3/4):121-123, 2014. [doi]

Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic DecompositionZongyan Huang, Matthew England, David J. Wilson, James H. Davenport, Lawrence C. Paulson, James P. Bridge. mkm 2014: 92-107 [doi]

Sign in or sign up to see more results.

runs on WebDSL