Zongyan Huang | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Matthew England
37 publications
Lawrence C. Paulson
22 publications
James H. Davenport
20 publications
David Wilson
6 publications

research

∙ 04/26/2018

Using Machine Learning to Improve Cylindrical Algebraic Decomposition

Cylindrical Algebraic Decomposition (CAD) is a key tool in computational...

0 Zongyan Huang, et al. ∙

research

∙ 08/15/2016

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

Cylindrical Algebraic Decomposition (CAD) is a key tool in computational...

0 Zongyan Huang, et al. ∙