[isabelle] Fwd: TEDx talk: Applying artifificial intelligence to auctions



 At the end of May, Colin Rowat gave a TEDx
<http://en.wikipedia.org/wiki/TED_(conference)#TEDx> talk on mechanised
reasoning and our applications of it to auctions.



The video is now available at https://www.youtube.com/watch?v=O65XJd7j2BE.
The underlying papers referred to in the talk are:



1.       implementations of Vickrey’s theorem in four different provers:
http://arxiv.org/abs/1303.4193

2.       proving soundness of auction designs in Isabelle:
http://arxiv.org/abs/1308.1779



Best,


Manfred



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.