Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Reasoning about Auctions

 
: Caminati, Marco B.; Kerber, Manfred; Lange, Christoph; Rowat, Colin

Bolotov, Alexander:
Joint Automated Reasoning Workshop and Deduktionstreffen (ARW-DT) 2014. Online resource : As part of the Vienna Summer of Logic – IJCAR 23-24 July 2014
Online im WWW, 2014
http://arw.csc.liv.ac.uk/2014.html
Joint Automated Reasoning Workshop and Deduktionstreffen (ARW-DT) <21, 2014, Vienna>
International Joint Conference on Automated Reasoning (IJCAR) <7, 2014, Vienna>
Englisch
Konferenzbeitrag, Elektronische Publikation
Fraunhofer IAIS ()

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.

: http://publica.fraunhofer.de/dokumente/N-481427.html