A Formal Proof of Vickrey's Theorem by Blast, Simp, and Rule

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 environment - Vickrey's theorem on second-price auctions - and provides, as background, an introduction to formal methods.

MoreLess

Year of publication:	2014-01
Authors:	Kerber, Manfred ; Lange, Christoph ; Rowat, Colin
Institutions:	Department of Economics, University of Birmingham
Subject:	formal proof \| mechanized reasoning \| auction theory

More details

Series:	Discussion Papers.
Type of publication:	Book / Working Paper
Notes:	12 pages
Classification:	B41 - Economic Methodology ; C63 - Computational Techniques ; C88 - Other Computer Software ; D44 - Auctions
Source:	RePEc - Research Papers in Economics

Persistent link: https://ebvufind01.dmz1.zbw.eu/10010818187