Using Machine Learning to Improve Cylindrical Algebraic Decomposition

Zongyan Huang, Matthew England, David Wilson, James Bridge, James Davenport, Lawrence Paulson

Research output: Contribution to journalArticlepeer-review

10 Citations (SciVal)

Fingerprint

Dive into the research topics of 'Using Machine Learning to Improve Cylindrical Algebraic Decomposition'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science