Reasoning about Auctions
Authors: Marco B. Caminati, Manfred Kerber, Christoph Lange and Colin Rowat
Paper Information
| Title: | Reasoning about Auctions |
| Authors: | Marco B. Caminati, Manfred Kerber, Christoph Lange and Colin Rowat |
| Proceedings: | ARW-DT 2014 - Automated Reasoning Workshop/Deduktionstreffen Proceedings |
| Editor: | Manfred Kerber |
| Keywords: | auction theory, formal methods, automated reasoning, economics, mechanism design, verification, functional programming |
| Abstract: | 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. |
| Pages: | 0 |
| Talk: | Jul 23 12:15 |
| Paper: |  |