|
52
|
The Theorema Project: A Progress Report
– B Buchberger, C Dupre, T Jebelean, F Kriftner, K Nakagawa, D Vasaru, W Windsteiger
- 2000
|
|
11
|
Theory Exploration Versus Theorem Proving
– B Buchberger
- 1999
|
|
3
|
The Inductive and Modal Proof Theory of Aumann’s Theorem on Rationality. mimeo
– R Vestergaard, P Lescanne, H Ono
- 2006
|
|
4
|
A game with no solution
– W F Lucas
- 1968
|
|
3
|
An automated prover for Zermelo-Fraenkel set theory in Theorema
– Wolfgang Windsteiger
|
|
8
|
Pillage and property
– J S Jordan
|
|
1
|
coalitions and externalities: A comment on Maskin
– Bargaining
|
|
1
|
Stable Sets in Three Agent Pillage Games
– M Kerber, C Rowat
- 2009
|
|
59
|
Theorema: Towards ComputerAided Mathematical Theory Exploration
– B Buchberger, A Crǎciun, T Jebelean, L Kovács, T Kutsia, K Nakagawa, F Piroi, N Popov, J Robu, M Rosenkranz, W Windsteiger
- 2006
|
|
42
|
Gambit: Software Tools for Game Theory, Version 0.2007.01.30 http://econweb.tamu.edu/gambit
– R D McKelvey, A M McLennan, T L Turocy
- 2007
|
|
94
|
Productive Use of Failure in Inductive Proof
– Andrew Ireland, Alan Bundy
- 1995
|
|
89
|
On the complexity of cooperative solution concepts
– Xiaotie Deng, Christos H Papadimitriou
- 1994
|
|
4
|
First-Order Logic Formalisation of Arrow’s Theorem
– U Grandi, U Endriss
- 2009
|
|
6
|
Social choice theory in HOL: Arrow and Gibbard-Satterthwaite
– T Nipkow
|
|
95
|
Proofs and Refutations
– I Lakatos
- 1976
|
|
689
|
O: Theory of games and economic behavior
– J von Neumann, Morgenstern
- 1947
|
