Reasoning about Auctions

Marco B. Caminati; Manfred Kerber; Christoph Lange-Bever; Colin Rowat

Reasoning about Auctions

Marco B. Caminati, Manfred Kerber, Christoph Lange-Bever, Colin Rowat

Research output: Contribution to conference (unpublished) › 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.

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/Territory	United Kingdom
City	Vienna
Period	23/07/14 → 24/07/14

Access to Document

http://istina.msu.ru/media/publications/article/a43/a58/6436063/proceedings.pdf#page=10

Cite this

@conference{2c725535b36e4731ae2b4acd2c1dc4f3,

title = "Reasoning about Auctions",

abstract = "In the ForMaRE project formal mathematical reasoning is applied toeconomics. After an initial exploratory phase, it focused on auctiontheory and has produced, as its first results, formalizedtheorems and certified executable code.",

author = "Caminati, {Marco B.} and Manfred Kerber and Christoph Lange-Bever and Colin Rowat",

year = "2014",

month = jul,

day = "23",

language = "English",

pages = "10--11",

note = "Joint Automated Reasoning Workshop and Deduktionstreffen ; Conference date: 23-07-2014 Through 24-07-2014",

}

TY - CONF

T1 - Reasoning about Auctions

AU - Caminati, Marco B.

AU - Kerber, Manfred

AU - Lange-Bever, Christoph

AU - Rowat, Colin

PY - 2014/7/23

Y1 - 2014/7/23

N2 - In the ForMaRE project formal mathematical reasoning is applied toeconomics. After an initial exploratory phase, it focused on auctiontheory and has produced, as its first results, formalizedtheorems and certified executable code.

AB - In the ForMaRE project formal mathematical reasoning is applied toeconomics. After an initial exploratory phase, it focused on auctiontheory and has produced, as its first results, formalizedtheorems and certified executable code.

M3 - Abstract

SP - 10

EP - 11

T2 - Joint Automated Reasoning Workshop and Deduktionstreffen

Y2 - 23 July 2014 through 24 July 2014

ER -

Reasoning about Auctions

Abstract

Conference

Access to Document

Fingerprint

Cite this