Colin Rowat

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Asymmetric majority pillage games International Journal of Game Theory	2024-01-04	Paper
An introduction to mechanized reasoning Journal of Mathematical Economics	2017-01-16	Paper
Pillage games with multiple stable sets International Journal of Game Theory	2015-11-17	Paper
Set theory or higher order logic to represent auction concepts in Isabelle? Lecture Notes in Computer Science	2014-08-07	Paper
Sufficient conditions for unique stable sets in three agent pillage games Mathematical Social Sciences	2014-06-11	Paper
Efficient sets are small Journal of Mathematical Economics	2014-01-15	Paper
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory Lecture Notes in Computer Science	2013-08-09	Paper
The ForMaRE project -- formal mathematical reasoning in economics Lecture Notes in Computer Science	2013-08-09	Paper
A Ramsey bound on stable sets in Jordan pillage games International Journal of Game Theory	2011-09-06	Paper
Using Theorema in the Formalization of Theoretical Economics Lecture Notes in Computer Science	2011-07-29	Paper
Optimal voting rules for two-member tenure committees Social Choice and Welfare	2011-02-03	Paper
Non-linear strategies in a linear quadratic differential game Journal of Economic Dynamics and Control	2009-07-01	Paper
The commons with capital markets Economic Theory	2007-03-20	Paper

Research outcomes over time

This page was built for person: Colin Rowat