ForMaRE – For Students
Final year projects for BSc/MSc students
- Formalising auction theory in first-order logic
- Matching problems
- If you are interested in different problems in economics, we may also provide guidance. Please study our slides “An economist's guide to mechanized reasoning or My computer just proved 84 impossibility theorems” (invited lecture at the 2012 Initiative for Computational Economics summer school).
This page was last modified on 10 April 2013.