Reasoning about Auctions
Research output: Contribution to conference (unpublished) › Abstract
Authors
Colleges, School and Institutes
Abstract
In the ForMaRE project formal mathematical reasoning is applied to
economics. After an initial exploratory phase, it focused on auction
theory and has produced, as its first results, formalized
theorems and certified executable code.
economics. After an initial exploratory phase, it focused on auction
theory and has produced, as its first results, formalized
theorems and certified executable code.
Details
Original language | English |
---|---|
Pages | 10-11 |
Number of pages | 2 |
Publication status | Published - 23 Jul 2014 |
Event | Joint Automated Reasoning Workshop and Deduktionstreffen - http://www.easychair.org/smart-program/VSL2014/ARWDT-program.html, Vienna, United Kingdom Duration: 23 Jul 2014 → 24 Jul 2014 |
Conference
Conference | Joint Automated Reasoning Workshop and Deduktionstreffen |
---|---|
Country | United Kingdom |
City | Vienna |
Period | 23/07/14 → 24/07/14 |