Wolfgang Windsteiger

Publication Activity (10 Years)

Years Active: 1999-2022
Publications (10 Years): 7

Top Topics

Higher Order Logic

Automated Reasoning

Computer Science

Top Venues

MKM/Calculemus/DML

J. Formaliz. Reason.

Publications

Wolfgang Windsteiger
Automated Theorem Proving in the Classroom. CoRR (2022)
Wolfgang Windsteiger
Learning to Reason Assisted by Automated Reasoning. CICM (2022)
David M. Cerna, Martina Seidl, Wolfgang Schreiner, Wolfgang Windsteiger, Armin Biere
Aiding an Introduction to Formal Reasoning Within a First-Year Logic Course for CS Majors Using a Mobile Self-Study App. ITiCSE (2020)
David M. Cerna, Martina Seidl, Wolfgang Schreiner, Wolfgang Windsteiger, Armin Biere
Computational Logic in the First Semester of Computer Science: An Experience Report. CSEDU (2) (2020)
Alexander Maletzky, Wolfgang Windsteiger
The Formalization of Vickrey Auctions: A Comparison of Two Approaches in Isabelle and Theorema. CICM (2017)
Wolfgang Windsteiger
Theorema 2.0: A Brief Tutorial. SYNASC (2017)
Bruno Buchberger, Tudor Jebelean, Temur Kutsia, Alexander Maletzky, Wolfgang Windsteiger
Theorema 2.0: Computer-Assisted Natural-Style Mathematics. J. Formaliz. Reason. 9 (1) (2016)
Wolfgang Windsteiger
Theorema 2.0: A System for Mathematical Theory Exploration. ICMS (2014)
Christoph Lange, Marco B. Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel, Wolfgang Windsteiger
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory CoRR (2013)
Christoph Lange, Marco B. Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel, Wolfgang Windsteiger
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory. MKM/Calculemus/DML (2013)
Wolfgang Windsteiger
Theorema 2.0: A Graphical User Interface for a Mathematical Assistant System. UITP (2012)
Manfred Kerber, Colin Rowat, Wolfgang Windsteiger
in the Formalization of Theoretical Economics. Calculemus/MKM (2011)
Wolfgang Windsteiger
. J. Symb. Comput. 41 (3-4) (2006)
Bruno Buchberger, Adrian Craciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz, Wolfgang Windsteiger
Theorema: Towards computer-aided mathematical theory exploration. J. Appl. Log. 4 (4) (2006)
Wolfgang Windsteiger
A Set Theory Prover Within Theorema. EUROCAST (2001)
Wolfgang Windsteiger
Building up hierarchical mathematical domains using functors in Theorema. Calculemus (1999)