Teaching the Formalization of Mathematical Theories and Algorithms via the Automatic Checking of Finite Models.
Wolfgang SchreinerAlexander BrunhuemerChristoph FürstPublished in: ThEdu@CADE (2017)
Keyphrases
- mathematical models
- machine learning algorithms
- learning algorithm
- experimental data
- computational models
- search algorithm
- theoretical analysis
- orders of magnitude
- computational cost
- theoretical models
- computationally efficient
- numerical algorithms
- mathematical modeling
- graph theory
- learning models
- formal model
- statistical methods
- statistical models
- complex systems
- theoretical framework
- learning systems
- benchmark datasets
- knowledge representation
- probabilistic model
- evolutionary algorithm