×

zbMATH — the first resource for mathematics

Rowat, Colin

Compute Distance To:
Author ID: rowat.colin Recent zbMATH articles by "Rowat, Colin"
Published as: Rowat, Colin
External Links: MGP
Documents Indexed: 13 Publications since 2007

Publications by Year

Citations contained in zbMATH Open

10 Publications have been cited 42 times in 34 Documents Cited by Year
Non-linear strategies in a linear quadratic differential game. Zbl 1163.91322
Rowat, Colin
18
2007
Sufficient conditions for unique stable sets in three agent pillage games. Zbl 1291.91018
Rowat, Colin; Kerber, Manfred
4
2014
The commons with capital markets. Zbl 1124.91026
Rowat, Colin; Dutta, Jayasri
4
2007
A qualitative comparison of the suitability of four theorem provers for basic auction theory. Zbl 1390.68577
Lange, Christoph; Caminati, Marco B.; Kerber, Manfred; Mossakowski, Till; Rowat, Colin; Wenzel, Makarius; Windsteiger, Wolfgang
4
2013
A Ramsey bound on stable sets in Jordan pillage games. Zbl 1231.91014
Kerber, Manfred; Rowat, Colin
4
2011
Pillage games with multiple stable sets. Zbl 1388.91029
MacKenzie, Simon; Kerber, Manfred; Rowat, Colin
2
2015
An introduction to mechanized reasoning. Zbl 1368.68289
Kerber, Manfred; Lange, Christoph; Rowat, Colin
2
2016
Efficient sets are small. Zbl 1282.91080
Beardon, Alan F.; Rowat, Colin
2
2013
The ForMaRE project – formal mathematical reasoning in economics. Zbl 1390.68578
Lange, Christoph; Rowat, Colin; Kerber, Manfred
1
2013
Using Theorema in the formalization of theoretical economics. Zbl 1335.68231
Kerber, Manfred; Rowat, Colin; Windsteiger, Wolfgang
1
2011
An introduction to mechanized reasoning. Zbl 1368.68289
Kerber, Manfred; Lange, Christoph; Rowat, Colin
2
2016
Pillage games with multiple stable sets. Zbl 1388.91029
MacKenzie, Simon; Kerber, Manfred; Rowat, Colin
2
2015
Sufficient conditions for unique stable sets in three agent pillage games. Zbl 1291.91018
Rowat, Colin; Kerber, Manfred
4
2014
A qualitative comparison of the suitability of four theorem provers for basic auction theory. Zbl 1390.68577
Lange, Christoph; Caminati, Marco B.; Kerber, Manfred; Mossakowski, Till; Rowat, Colin; Wenzel, Makarius; Windsteiger, Wolfgang
4
2013
Efficient sets are small. Zbl 1282.91080
Beardon, Alan F.; Rowat, Colin
2
2013
The ForMaRE project – formal mathematical reasoning in economics. Zbl 1390.68578
Lange, Christoph; Rowat, Colin; Kerber, Manfred
1
2013
A Ramsey bound on stable sets in Jordan pillage games. Zbl 1231.91014
Kerber, Manfred; Rowat, Colin
4
2011
Using Theorema in the formalization of theoretical economics. Zbl 1335.68231
Kerber, Manfred; Rowat, Colin; Windsteiger, Wolfgang
1
2011
Non-linear strategies in a linear quadratic differential game. Zbl 1163.91322
Rowat, Colin
18
2007
The commons with capital markets. Zbl 1124.91026
Rowat, Colin; Dutta, Jayasri
4
2007

Citations by Year