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

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

Browse the full SYNASC paper archive.