View of Computer Algebra Data from Coq.
Vladimir KomendantskyAlexander KonovalovSteve LintonPublished in: Calculemus/MKM (2011)
Keyphrases
- data sets
- data collection
- database
- data processing
- raw data
- training data
- spatial data
- computer systems
- data points
- input data
- complex data
- data quality
- data acquisition
- high dimensional data
- small number
- knowledge discovery
- data analysis
- learning algorithm
- neural network
- image data
- data mining techniques
- data sources
- expert systems
- feature space
- synthetic data
- data structure
- high quality
- statistical methods
- noisy data
- data mining