The ForMaRE Project: Formal Mathematical Reasoning in Economics

Manfred Kerber, Colin Rowat, Christoph Lange

Research output: Contribution to specialist publication › Article

7 Citations (Scopus)

Access to Document

@misc{cb310509f39e462ebf75983782165e2e,

title = "The ForMaRE Project: Formal Mathematical Reasoning in Economics",

author = "Manfred Kerber and Colin Rowat and Christoph Lange",

year = "2013",

month = may,

day = "29",

language = "English",

volume = "2013",

journal = "EPS College Newsletter",

publisher = "University of Birmingham",

address = "United Kingdom",

}