Toward a Model Theory for Transseries.
Matthias AschenbrennerLou van den DriesJoris van der HoevenPublished in: Notre Dame J. Formal Log. (2013)
Keyphrases
- computational model
- probabilistic model
- theoretical framework
- theoretical foundation
- experimental data
- mathematical model
- mathematical framework
- statistical model
- management system
- prediction model
- network model
- real time
- neural network
- formal model
- parameter values
- conceptual framework
- hybrid model
- empirical data
- process model
- hierarchical structure
- theoretical analysis
- evolutionary algorithm
- high level
- decision making
- genetic algorithm
- databases
- data sets