Formal Representation and Proof for Cooperative Games: A Foundation for Complex Social Behaviour

Research output

Research output per year 2012 2013 2015

• 5 Conference contribution
• 3 Article
• 2 Web publication/site
• 1 Other
• 3 More
  • 1 Paper
  • 1 Software
  • 1 Other contribution

Research output per year

Research output per year

Search results

• 2013

  The ForMaRE Project: Formal Mathematical Reasoning in Economics

  Lange, C. (Photographer), Rowat, C. (Photographer) & Kerber, M. (Photographer), 8 Jul 2013

  Research output: Non-textual form › Web publication/site

  • Mathematical Reasoning 100%
  • Formal Methods 100%
  • Auction 100%
  • Theoretical Economics 100%
  • Financial Risk 100%
  7 Citations (Scopus)
• 2012

  Formalising “100”' Theorems/Models/Theories in Economics

  Lange, C., Rowat, C. & Kerber, M., 27 Sept 2012

  Research output: Non-textual form › Web publication/site