9 citations · 11 across the 2 of their papers we have counts for
3 papers
cs.LO2022★ 2 cited
Automated Theorem Proving in the Classroom
Wolfgang Windsteiger
We report on several scenarios of using automated theorem proving software in university education. In particular, we focus on using the Theorema system in a software-enhanced logi…
cs.MS2013★ 9 cited
Theorema 2.0: A Graphical User Interface for a Mathematical Assistant System
Wolfgang Windsteiger
Theorema 2.0 stands for a re-design including a complete re-implementation of the Theorema system, which was originally designed, developed, and implemented by Bruno Buchberger and…
cs.LO2013
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory
Christoph Lange, Marco B. Caminati, Manfred Kerber +4
Novel auction schemes are constantly being designed. Their design has significant consequences for the allocation of goods and the revenues generated. But how to tell whether a new…