Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition With Groebner Bases.
Zongyan HuangMatthew EnglandJames H. DavenportLawrence C. PaulsonPublished in: CoRR (2016)
Keyphrases
- machine learning
- learning algorithm
- machine learning methods
- information extraction
- machine learning algorithms
- data mining
- inductive learning
- learning problems
- reinforcement learning
- learning systems
- higher order
- text mining
- knowledge representation
- inductive logic programming
- computer vision
- hierarchical decomposition
- machine learning and data mining
- decomposition algorithm
- database
- unsupervised learning
- model selection
- computational intelligence
- supervised learning
- active learning
- feature selection
- databases
- data sets
- real time