Towards formal foundations for game theory

DOI10.1007/978-3-319-94821-8_29OpenAlexW2809686600WikidataQ108482121 ScholiaQ108482121MaRDI QIDQ1791194

Julian Parsert, Cezary Kaliszyk

Publication date: 4 October 2018

Full work available at URL: https://zenodo.org/record/1474291

Mathematics Subject Classification ID

Utility theory (91B16) Utility theory for games (91A30) Formalization of mathematics in connection with theorem provers (68V20)

Related Items (2)

Formalizing the Cox-Ross-Rubinstein pricing of European derivatives in Isabelle/HOL ⋮ Unnamed Item

Uses Software

• Coq
• Isabelle/HOL
• Isabelle/Isar
• ForMaRE
• Coq/SSReflect
• Stable Matching
• Arrow Gibbard Satterthwaite

This page was built for publication: Towards formal foundations for game theory