ED44B0D9-EBAE-4380-9CC2-445C42A25472Embedding Machine Learning within Quantifier Elimination ProceduresResearch GrantEP/R019622/1798CB33D-C79E-4578-83F2-72606407192CEPSRCINCOME_ACTUAL100987EFC599F4-1FDD-4D2F-B239-D9F5E340361DUsing Machine Learning to Improve Cylindrical Algebraic DecompositionMathematics in Computer Scienced679dbb922b3259a9121cc6089b55e91Huang Z2019-01-01http://dx.doi.org/10.1007/s11786-019-00394-81661-8289http://dx.doi.org/10.1007/s11786-019-00394-84Journal Article/Review5e3ab3fe7881e4.96427295