5 citations
2 papers
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.CE2013★ 5 cited
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…