36 citations · 57 across the 9 of their papers we have counts for
3 papers · 1 filter
Proving soundness of combinatorial Vickrey auctions and generating verified executable code
Marco B. Caminati, Manfred Kerber, Christoph Lange +1
Using mechanised reasoning we prove that combinatorial Vickrey auctions are soundly specified in that they associate a unique outcome (allocation and transfers) to any valid input…
The ForMaRE Project - Formal Mathematical Reasoning in Economics
Christoph Lange, Colin Rowat, Manfred Kerber
The ForMaRE project applies formal mathematical reasoning to economics. We seek to increase confidence in economics' theoretical results, to aid in discovering new results, and to…
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory
Christoph Lange, Marco B. Caminati, Manfred Kerber +4
Novel auction schemes are constantly being designed. Their design has significant consequences for the allocation of goods and the revenues generated. But how to tell whether a new…