The ForMaRE Project - Formal Mathematical Reasoning in Economics.
Christoph LangeColin RowatManfred KerberPublished in: MKM/Calculemus/DML (2013)
Keyphrases
- formal models
- mathematical theory
- meta level
- formal model
- knowledge base
- computer algebra systems
- human reasoning
- reasoning systems
- mathematical models
- knowledge representation
- case study
- data collection
- qualitative reasoning
- reasoning tasks
- legal argument
- artificial neural networks
- logical reasoning
- formal representation
- data sets
- mathematical proofs
- reasoning processes
- mathematical expressions
- digital libraries
- project management
- reasoning process
- spatial reasoning
- game theory