Auction Theory Toolbox (ATT) – Theorema

Files relevant to the Theorema formalisation

How to run

  1. Get a licence of Mathematica 8.
  2. For now, please contact Wolfgang Windsteiger for a copy of Theorema and for installation instructions.
  3. Open the Theorema formalisation in Mathematica.
  4. Evaluate the cell that reads Needs["Theorema`"] by placing the cursor there and pressing Shift+Return, or evaluate all initialization cells via Evaluation→Evaluate Initialization Cells.

This page was last modified on 04 September 2013.