ForMaRE – Publications

This is the list of publications immediately related to the ForMaRE research agenda. The ForMaRE project has supported a few other publications.

Contents: Journal articles, conference contributions (reviewed, archival), invited talks, workshop contributions (reviewed), proceedings edited, discussion papers

Journal articles

  1. Manfred Kerber, Colin Rowat. A Ramsey bound on stable sets in Jordan pillage games. International Journal of Game Theory, 40(3), pp. 461–466. (accompanying Lisp code)

Conference contributions (peer reviewed, archival proceedings)

  1. Christoph Lange, Colin Rowat, Manfred Kerber. The ForMaRE Project – Formal Mathematical Reasoning in Economics. Conference on Intelligent Computer Mathematics (CICM, systems & projects track). No. 7961 in Lecture Notes in Computer Science, Springer, pp. 330–334, 2013. Project description and first-year summary, from a formal methods perspective
  2. Christoph Lange, Marco B. Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel, Wolfgang Windsteiger. A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory. Conference on Intelligent Computer Mathematics (CICM, mathematical knowledge management track). No. 7961 in Lecture Notes in Computer Science, Springer, pp. 200–215, 2013. (accompanying formalisations evolve in the Auction Theory Toolbox)
  3. Carst Tankink, Christoph Lange, Josef Urban. Point-and-write — Documenting Formal Mathematics by Reference. Conference on Intelligent Computer Mathematics (CICM, mathematical knowledge management track). No. 7362 in Lecture Notes in Computer Science, Springer, pp. 169–185, 2012.
  4. Manfred Kerber, Colin Rowat, Wolfgang Windsteiger. Using Theorema in the Formalization of Theoretical Economics. Conference on Intelligent Computer Mathematics (CICM), 2011 (Calculemus track). No. 6824 in Lecture Notes in Computer Science, Springer, pp. 58–73, 2011. (accompanying Theorema code)

Invited Talks

  1. Manfred Kerber, Christoph Lange, Colin Rowat. ForMaRE – Formal Mathematical Reasoning in Economics. 20th Automated Reasoning Workshop (ARW), 2013 (invited talk). (slides; poster) Short project description and first-year summary, from a theorem proving perspective
  2. Colin Rowat. Electricity auctions. Iraq Power, CWC, 2013 (invited talk).
  3. Manfred Kerber, Christoph Lange, Colin Rowat. An economist's guide to mechanized reasoning or My computer just proved 84 impossibility theorems. Initiative for Computational Economics, 2012 (invited lecture). Overview on the potential of applying formal methods to economics, from an economics perspective

Workshop and similar contributions (peer reviewed)

  1. Christoph Lange, Colin Rowat, Wolfgang Windsteiger, Manfred Kerber. Developing an Auction Theory Toolbox. Enabling Domain Experts to use Formalised Reasoning. Do-Form, symposium at the AISB Annual Convention, 2013. (accompanying formalisations evolve in the Auction Theory Toolbox)
  2. Manfred Kerber, Christoph Lange, Colin Rowat. Formal representation and proof for cooperative games. Symposium on Mathematical Practice and Cognition at the AISB Annual Convention, 2012.

Proceedings edited

  1. Christoph Lange, Colin Rowat, Manfred Kerber. Enabling Domain Experts to use Formalised Reasoning (Do-Form), symposium at the AISB Annual Convention, 2013.

Discussion papers

  1. Marco B. Caminati, Manfred Kerber, Christoph Lange, Colin Rowat. Proving soundness of combinatorial Vickrey auctions and generating verified executable code. arXiv, 2013. (accompanying formalisations and implementations evolve in the Auction Theory Toolbox) First writeup on generating verified auction software
  2. Simon MacKenzie, Manfred Kerber, Colin Rowat. Pillage Games with Multiple Stable Sets. Social Science Research Network (SSRN), 2013.
  3. Manfred Kerber, Colin Rowat. Sufficient Conditions for Unique Stable Sets in Three Agent Pillage Games. Social Science Research Network (SSRN), 2012.
  4. Manfred Kerber, Colin Rowat. Stable Sets in Three Agent Pillage Games. Social Science Research Network (SSRN), 2009.

This page was last modified on 17 September 2013.