24 citations · 43 across the 16 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
q-fin.MF2014
Budget Imbalance Criteria for Auctions: A Formalized Theorem
Marco B. Caminati, Manfred Kerber, Colin Rowat
We present an original theorem in auction theory: it specifies general conditions under which the sum of the payments of all bidders is necessarily not identically zero, and more g…
cs.LO2014
Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle?
Marco B. Caminati, Manfred Kerber, Christoph Lange +1
When faced with the question of how to represent properties in a formal proof system any user has to make design decisions. We have proved three of the theorems from Maskin's 2004…