Von-Neumann-Morgenstern Utility Theorem
From MaRDI portal
- A constructive approach to sequential Nash equilibria
- A formal study of Boolean games with random formulas as payoff functions
- A library for algorithmic game theory in \textsf{Ssreflect/Coq}
- Acyclic Preferences and Existence of Sequential Nash Equilibria: A Formal and Constructive Equivalence
- Algorithmic Game Theory
- An existence theorem of Nash equilibrium in Coq and Isabelle
- Automated deduction -- CADE 26. 26th international conference on automated deduction, Gothenburg, Sweden, August 6--11, 2017. Proceedings
- Constructive Type Classes in Isabelle
- Domain representations of topological spaces
- Elementary introduction to stochastic finance in discrete time
- Equilibrium points in n -person games
- Existence of an Equilibrium for a Competitive Economy
- Extending Finite-Memory Determinacy by Boolean Combination of Winning Conditions
- Formalizing Arrow's theorem
- Game theory. Translated from the Hebrew by Ziv Hellman and edited by Mike Borns
- General equilibrium theory. An introduction.
- Unnamed Publication
- Unnamed Publication
- Introduction to computer science and economic theory
- Locales: a module system for mathematical theories
- Microeconomic theory
- Option pricing: A simplified approach
- Prospect Theory: An Analysis of Decision under Risk
- Set theory or higher order logic to represent auction concepts in Isabelle?
- Seventeen equations that changed the world.
- The binomial pricing model in finance: a formalization in Isabelle
- The ForMaRE project -- formal mathematical reasoning in economics
- The Isabelle Framework
- Theorem proving in higher order logics. 22nd international conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings
- Theory of games and economic behavior.
This page was built for software: Von-Neumann-Morgenstern Utility Theorem
