An Alternative Proof of an Equilibrium Existence Theorem in Exchange Economies with Indivisibilities.
Jinpeng MaPublished in: Games Econ. Behav. (2000)
Keyphrases
- interactive theorem proving
- equilibrium point
- fixed point theorem
- variational inequalities
- fixed point
- game theory
- information systems
- mathematical proofs
- nash equilibrium
- complementarity problems
- information exchange
- market equilibrium
- share information
- learning algorithm
- theorem proving
- knowledge base
- search engine