Colin Rowat

Available identifiers

zbMath Open rowat.colinMaRDI QIDQ392660

List of research outcomes

Publication	Date of Publication	Type
Asymmetric majority pillage games	2024-01-04	Paper
An introduction to mechanized reasoning	2017-01-16	Paper
Pillage games with multiple stable sets	2015-11-17	Paper
Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle?	2014-08-07	Paper
Sufficient conditions for unique stable sets in three agent pillage games	2014-06-11	Paper
Efficient sets are small	2014-01-15	Paper
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory	2013-08-09	Paper
The ForMaRE Project – Formal Mathematical Reasoning in Economics	2013-08-09	Paper
A Ramsey bound on stable sets in Jordan pillage games	2011-09-06	Paper
Using Theorema in the Formalization of Theoretical Economics	2011-07-29	Paper
Optimal voting rules for two-member tenure committees	2011-02-03	Paper
Non-linear strategies in a linear quadratic differential game	2009-07-01	Paper
The commons with capital markets	2007-03-20	Paper

Research outcomes over time

This page was built for person: Colin Rowat