Computer-generated conjectures(!) and proofs(!!) in combinatorial game theory (abstract only).
Doron ZeilbergerThotsaporn "Aek" ThanatipanondaPublished in: ACM Commun. Comput. Algebra (2008)
Keyphrases
- game theory
- computer generated
- theorem prover
- game theoretic
- cooperative
- nash equilibrium
- resource allocation
- multi agent systems
- mechanism design
- statistical physics
- multi agent learning
- fictitious play
- multi agent cooperation
- decision theory
- nash equilibria
- financial crisis
- cooperative game theory
- virtual humans
- imperfect information