The Formalization of Vickrey Auctions: A Comparison of Two Approaches in Isabelle and Theorema.

Alexander Maletzky Wolfgang Windsteiger

Published in: CICM (2017)

Keyphrases

knowledge representation
information systems
mechanism design
database
real time
learning algorithm
strengths and weaknesses