ForMaRE: Formal Mathematical Reasoning in Economics

Manfred Kerber, Christoph Lange, Colin Rowat

Research output: Contribution to conference (unpublished) › Paper

97 Downloads (Pure)

Original language	English
Publication status	Published - 12 Apr 2013
Event	20th Automated Reasoning Workshop (ARW) - Dundee, United Kingdom Duration: 11 Apr 2013 → 12 Apr 2013

Workshop	20th Automated Reasoning Workshop (ARW)
Country/Territory	United Kingdom
City	Dundee
Period	11/04/13 → 12/04/13

invited paper

Access to Document

@conference{4bc1775f31614c35810834657dcc9df0,

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

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

note = "invited paper; 20th Automated Reasoning Workshop (ARW) ; Conference date: 11-04-2013 Through 12-04-2013",

year = "2013",

month = apr,

day = "12",

language = "English",

}