Maletzky, Alexander; Windsteiger, Wolfgang The formalization of Vickrey auctions: a comparison of two approaches in Isabelle and Theorema. (English) Zbl 1367.68252 Geuvers, Herman (ed.) et al., Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17–21, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-62074-9/pbk; 978-3-319-62075-6/ebook). Lecture Notes in Computer Science 10383. Lecture Notes in Artificial Intelligence, 25-39 (2017). MSC: 68T15 91B26 PDFBibTeX XMLCite \textit{A. Maletzky} and \textit{W. Windsteiger}, Lect. Notes Comput. Sci. 10383, 25--39 (2017; Zbl 1367.68252) Full Text: DOI
Buchberger, Bruno; Crǎciun, Adrian; Jebelean, Tudor; Kovács, Laura; Kutsia, Temur; Nakagawa, Koji; Piroi, Florina; Popov, Nikolaj; Robu, Judit; Rosenkranz, Markus; Windsteiger, Wolfgang Theorema: Towards computer-aided mathematical theory exploration. (English) Zbl 1107.68095 J. Appl. Log. 4, No. 4, 470-504 (2006). MSC: 68T15 13P10 PDFBibTeX XMLCite \textit{B. Buchberger} et al., J. Appl. Log. 4, No. 4, 470--504 (2006; Zbl 1107.68095) Full Text: DOI