-
Notifications
You must be signed in to change notification settings - Fork 0
Home
Christoph Lange edited this page Oct 25, 2013
·
7 revisions
ForMaRE applies formal mathematical reasoning to economics.
We seek to increase confidence in economics' theoretical results, to aid in the discovery of new results, and to foster interest in formal methods within economics.
For computer science, ForMaRE seeks to present new challenge problems, thus contributing to the development of formal methods.
For further background, please see the ForMaRE project homepage.
- Formalising “100” Theorems/Models/Theories in Economics
- List of peer-reviewed publications on mechanised reasoning in economics, plus code
- An Economist's Tutorial to Mechanised Reasoning (for now, please refer to our presentation at ICE 2012)
We invite you to contribute to this knowledge base:
- Create a GitHub account if you do not have one already.
- Notify the project members by email. (Your mail may be held for moderation to prevent spam, but don't worry if your concern is legitimate.)
- We will shortly grant you the necessary access permissions.
If you would like to keep in touch with the ForMaRE activities or discuss topics of interest to ForMaRE, you are invited to subscribe to one of our mailing lists.