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
Authors:	Kerber, Manfred ; Lange, Christoph ; Rowat, Colin
Publisher:	[S.l.] : SSRN

Extent:	1 Online-Ressource (12 p)
Series:	University of Birmingham, Department of Economics Working Paper Series ; No. 14-01
Type of publication:	Book / Working Paper
Language:	English
Notes:	Nach Informationen von SSRN wurde die ursprüngliche Fassung des Dokuments January 5, 2014 erstellt
Other identifiers:	10.2139/ssrn.2376205 [DOI]
Classification:	B41 - Economic Methodology ; C63 - Computational Techniques ; C88 - Other Computer Software ; D44 - Auctions
Source:	ECONIS - Online Catalogue of the ZBW

Persistent link: https://www.econbiz.de/10014150121