Machine Learning to Improve Cylindrical Algebraic Decomposition in Maple.
Matthew EnglandDorian FlorescuPublished in: MC (2019)
Keyphrases
- machine learning
- data mining
- artificial intelligence
- decision trees
- computational biology
- pattern recognition
- artificial neural networks
- information extraction
- natural language processing
- text mining
- machine learning and data mining
- database
- learning tasks
- machine learning methods
- learning systems
- text classification
- data analysis
- multi agent
- website
- computer vision
- learning algorithm