Using Theorema in the Formalization of Theoretical Economics

DOI10.1007/978-3-642-22673-1_5zbMath1335.68231OpenAlexW101718253MaRDI QIDQ5200108

Manfred Kerber, Colin Rowat, Wolfgang Windsteiger

Publication date: 29 July 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-22673-1_5

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to game theory, economics, and finance (91-04)

Related Items

Sufficient conditions for unique stable sets in three agent pillage games

Uses Software

• Theorema
• Gambit
• Arrow Gibbard Satterthwaite

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Pillage and property
• \textit{Theorema}: Towards computer-aided mathematical theory exploration
• Formalizing Arrow's theorem
• Productive use of failure in inductive proof
• Stable sets in majority pillage games
• An automated prover for Zermelo-Fraenkel set theory in Theorema
• Social choice theory in HOL. Arrow and Gibbard-Satterthwaite
• First-Order Logic Formalisation of Arrow’s Theorem
• On the Complexity of Cooperative Solution Concepts
• A game with no solution