Kerber, Manfred; Lange, Christoph; Rowat, Colin - Department of Economics, University of Birmingham - 2014
Formal methods use computers to verify proofs or even discover new theorems. Interest in applying formal methods to problems in economics has increased in the past decade, but - to date - none of this work has been published in economics journals. This paper applies formal methods to a familiar...