Reasoning about Auctions

Research output: Contribution to conference (unpublished)Abstract

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.

Details

Original languageEnglish
Pages10-11
Number of pages2
Publication statusPublished - 23 Jul 2014
EventJoint Automated Reasoning Workshop and Deduktionstreffen - http://www.easychair.org/smart-program/VSL2014/ARWDT-program.html, Vienna, United Kingdom
Duration: 23 Jul 201424 Jul 2014

Conference

ConferenceJoint Automated Reasoning Workshop and Deduktionstreffen
CountryUnited Kingdom
CityVienna
Period23/07/1424/07/14