Automated mathematics: integrating proofs, algorithms and data (Dagstuhl Seminar 23401).
Andrej BauerKatja BercicFlorian RabeNicolas M. ThiéryJure TaslakPublished in: Dagstuhl Reports (2023)
Keyphrases
- data structure
- data mining techniques
- data sets
- data processing
- high dimensional data
- data mining algorithms
- data collection
- database
- high quality
- data reduction
- theoretical analysis
- data quality
- noisy data
- computational cost
- raw data
- synthetic data
- statistical methods
- association rule mining
- discrete data
- incomplete data
- learning algorithm
- statistical analysis
- optimization problems
- image data
- knowledge discovery
- data points
- prior knowledge
- data analysis
- computational complexity
- neural network
- training data