Using Theorema in the Formalization of Theoretical Economics
From MaRDI portal
Publication:5200108
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
Related Items
Uses Software
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