Using Machine Learning to Improve Cylindrical Algebraic Decomposition.
Zongyan HuangMatthew EnglandDavid J. WilsonJames P. BridgeJames H. DavenportLawrence C. PaulsonPublished in: Math. Comput. Sci. (2019)
Keyphrases
- machine learning
- data mining
- computer vision
- knowledge acquisition
- active learning
- text mining
- data structure
- databases
- data analysis
- evolutionary algorithm
- search algorithm
- machine learning and data mining
- machine learning methods
- machine learning algorithms
- unsupervised learning
- natural language processing
- case study
- e learning
- feature selection
- artificial intelligence
- learning algorithm
- neural network