TY  - RPRT
TI  - The ForMaRE Project - Formal Mathematical Reasoning in Economics
AU  - Christoph Lange
AU  - Colin Rowat
AU  - Manfred Kerber
PY  - 2013
UR  - https://arxiv.org/abs/1303.4194
ID  - 1303.4194
ER  -